headers/private/kernel/debug.h

177

extern void debug_set_page_fault_info(addr_t faultAddress, addr_t pc,

src/system/kernel/arch/arm/arch_int.cpp

372

debug_set_page_fault_info(far, frame->pc,

src/system/kernel/arch/arm/arch_int.cpp

382

debug_set_page_fault_info(far, frame->pc,

src/system/kernel/arch/arm64/arch_int.cpp

310

debug_set_page_fault_info(frame->far, frame->elr,

src/system/kernel/arch/riscv64/arch_int.cpp

209

debug_set_page_fault_info(stval, frame->epc,

src/system/kernel/arch/riscv64/arch_int.cpp

220

debug_set_page_fault_info(stval, frame->epc,

src/system/kernel/arch/x86/32/descriptors.cpp

199

debug_set_page_fault_info(cr2, frame->ip,

src/system/kernel/arch/x86/64/descriptors.cpp

357

debug_set_page_fault_info(0, frame->ip, DEBUG_PAGE_FAULT_NO_INFO);

src/system/kernel/arch/x86/arch_int.cpp

297

debug_set_page_fault_info(cr2, frame->ip,

src/system/kernel/arch/x86/arch_int.cpp

308

debug_set_page_fault_info(cr2, frame->ip,