debug_page_fault_info - Haiku

Symbol: debug_page_fault_info

headers/private/kernel/debug.h

extern debug_page_fault_info* debug_get_page_fault_info();

src/system/kernel/debug/debug.cpp

debug_page_fault_info*

src/system/kernel/debug/debug.cpp

static debug_page_fault_info sPageFaultInfo;

src/system/kernel/debug/debug_commands.cpp

debug_page_fault_info* info = debug_get_page_fault_info();