mirror of
https://github.com/clearlinux/graphene.git
synced 2026-10-03 23:48:19 +00:00
20 lines
467 B
C
20 lines
467 B
C
/* SPDX-License-Identifier: LGPL-3.0-or-later */
|
|
/* Copyright (C) 2014 Stony Brook University */
|
|
|
|
/*
|
|
* 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 DkDebugMapAdd(PAL_STR uri, PAL_PTR start_addr);
|
|
void DkDebugMapRemove(PAL_PTR start_addr);
|
|
|
|
#endif /* PAL_DEBUG_H */
|