headers/os/kernel/debugger.h

560

debug_exception_type exception; // the exception

headers/os/kernel/debugger.h

682

extern void get_debug_exception_string(debug_exception_type exception,

headers/private/kernel/user_debugger.h

259

bool user_debug_exception_occurred(debug_exception_type exception, int signal);

src/kits/debugger/debugger_interface/DebugEvent.cpp

118

debug_exception_type exception)

src/kits/debugger/debugger_interface/DebugEvent.h

107

debug_exception_type exception);

src/kits/debugger/debugger_interface/DebugEvent.h

109

debug_exception_type Exception() const { return fException; }

src/kits/debugger/debugger_interface/DebugEvent.h

112

debug_exception_type fException;

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

36

SendSignal(debug_exception_type type, uint32 signalNumber, int32 signalCode,

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

112

debug_exception_type type;

src/system/kernel/debug/user_debugger.cpp

929

user_debug_exception_occurred(debug_exception_type exception, int signal)

src/system/libroot/os/debug.c

177

get_debug_exception_string(debug_exception_type exception, char *buffer,