Searched refs:pc_init_debug (Results 1 – 3 of 3) sorted by relevance
| /kernel/platform/pc/ | ||
| A D | platform_p.h | 31 void pc_init_debug(void); |
| A D | debug.cpp | 286 void pc_init_debug(void) { in pc_init_debug() function |
| A D | platform.cpp | 885 pc_init_debug(); in platform_init() |
Completed in 6 milliseconds