Searched refs:user_breakpoint_state_t (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h53 typedef struct user_debug_state user_breakpoint_state_t; typedef in typeref:struct:user_debug_state
71 user_breakpoint_state_t breakpointState;
H A Ddebug.h30 void Arch_initBreakpointContext(user_breakpoint_state_t *context);
/seL4-camkes-master/kernel/include/arch/arm/arch/model/
H A Dstatedata.h32 extern user_breakpoint_state_t armKSNullBreakpointState VISIBLE;
/seL4-camkes-master/kernel/src/arch/arm/32/model/
H A Dstatedata.c68 user_breakpoint_state_t armKSNullBreakpointState;
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h211 } user_breakpoint_state_t; typedef in typeref:struct:user_breakpoint_state
233 user_breakpoint_state_t breakpointState;
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c371 user_breakpoint_state_t *ubs = &t->tcbArch.tcbContext.breakpointState;
421 user_breakpoint_state_t *ubs = &t->tcbArch.tcbContext.breakpointState;
662 void Arch_initBreakpointContext(user_breakpoint_state_t *uds)

Completed in 46 milliseconds