Home
last modified time | relevance | path

Searched refs:X86_DEBUG_BP_N_REGS (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/arch/x86/arch/64/mode/machine/
A Ddebug.h13 #define X86_DEBUG_BP_N_REGS (4) macro
55 assert(reg < X86_DEBUG_BP_N_REGS); in readDrReg()
75 assert(reg < X86_DEBUG_BP_N_REGS); in writeDrReg()
/seL4-master/include/arch/x86/arch/32/mode/machine/
A Ddebug.h12 #define X86_DEBUG_BP_N_REGS (4) macro
54 assert(reg < X86_DEBUG_BP_N_REGS); in readDrReg()
74 assert(reg < X86_DEBUG_BP_N_REGS); in writeDrReg()
/seL4-master/include/arch/x86/arch/machine/
A Ddebug.h138 if (bp_num >= X86_DEBUG_BP_N_REGS) { in Arch_decodeSetBreakpoint()
160 if (bp_num >= X86_DEBUG_BP_N_REGS) { in Arch_decodeGetBreakpoint()
175 if (bp_num >= X86_DEBUG_BP_N_REGS) { in Arch_decodeUnsetBreakpoint()
/seL4-master/src/arch/x86/machine/
A Dbreakpoint.c297 assert(bp_num < X86_DEBUG_BP_N_REGS); in enableBreakpoint()
325 assert(bp_num < X86_DEBUG_BP_N_REGS); in disableBreakpoint()
353 assert(bp_num < X86_DEBUG_BP_N_REGS); in breakpointIsEnabled()

Completed in 7 milliseconds