mirror of
https://github.com/clearlinux/graphene.git
synced 2026-09-06 13:51:28 +00:00
35 lines
1.1 KiB
C
35 lines
1.1 KiB
C
/* Copyright (C) 2014 Stony Brook University
|
|
This file is part of Graphene Library OS.
|
|
|
|
Graphene Library OS is free software: you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public License
|
|
as published by the Free Software Foundation, either version 3 of the
|
|
License, or (at your option) any later version.
|
|
|
|
Graphene Library OS is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
/*
|
|
* pal_debug.h
|
|
*
|
|
* This file contains definitions of APIs used for debug purposes.
|
|
*/
|
|
|
|
#ifndef PAL_DEBUG_H
|
|
#define PAL_DEBUG_H
|
|
|
|
#include "pal.h"
|
|
|
|
int pal_printf (const char *fmt, ...) __attribute__((format(printf, 1, 2)));
|
|
void warn(const char* format, ...);
|
|
|
|
void DkDebugAttachBinary (PAL_STR uri, PAL_PTR start_addr);
|
|
void DkDebugDetachBinary (PAL_PTR start_addr);
|
|
|
|
#endif /* PAL_DEBUG_H */
|