Voxia OS v0.0.1
Hobby Project Operating System Targeting x86-64
Loading...
Searching...
No Matches
debug.h
Go to the documentation of this file.
1#ifndef __LIBK__DEBUG_H_
2#define __LIBK__DEBUG_H_
3
4#include <type.h>
5
13
14#define DEBUG_DEBUG_FG 0x00FF00
15
16#define KDEBUG(...) kernel_debug_impl(__FILE__, __LINE__, __VA_ARGS__)
17
18#define KASSERT(...) kernel_assert_impl(__FILE__, __LINE__)
19
20void kernel_debug_impl(const char* file_, uint16_t line_num_,
21 DEBUG_LEVEL level_, const char* message_, ...);
22
23void kernel_assert_impl(const char* file_, uint16_t line_num_);
24
25#endif // __LIBK__DEBUG_H_
DEBUG_LEVEL
Definition debug.h:6
@ DEBUG_LEVEL_ERROR
Definition debug.h:10
@ DEBUG_LEVEL_WARN
Definition debug.h:9
@ DEBUG_LEVEL_DEBUG
Definition debug.h:7
@ DEBUG_LEVEL_OK
Definition debug.h:11
@ DEBUG_LEVEL_INFO
Definition debug.h:8
void kernel_debug_impl(const char *file_, uint16_t line_num_, DEBUG_LEVEL level_, const char *message_,...)
Definition debug.c:31
void kernel_assert_impl(const char *file_, uint16_t line_num_)
unsigned short uint16_t
Definition type.h:13