user_breakpoint_state_t (reference) in projects: seL4-master

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

/seL4-master/include/arch/x86/arch/machine/
A D	registerset.h	`53 typedef struct user_debug_state user_breakpoint_state_t; typedef 71 user_breakpoint_state_t breakpointState;`
A D	debug.h	`30 void Arch_initBreakpointContext(user_breakpoint_state_t *context);`
/seL4-master/include/arch/arm/arch/model/
A D	statedata.h	`32 extern user_breakpoint_state_t armKSNullBreakpointState VISIBLE;`
/seL4-master/include/arch/arm/arch/32/mode/machine/
A D	registerset.h	`204 } user_breakpoint_state_t; typedef 226 user_breakpoint_state_t breakpointState;`
/seL4-master/src/arch/arm/32/model/
A D	statedata.c	`58 user_breakpoint_state_t armKSNullBreakpointState;`
/seL4-master/src/arch/x86/machine/
A D	breakpoint.c	`371 user_breakpoint_state_t ubs = &t->tcbArch.tcbContext.breakpointState; in setBpVaddrContext() 421 user_breakpoint_state_t ubs = &t->tcbArch.tcbContext.breakpointState; in getBpVaddrContext() 662 void Arch_initBreakpointContext(user_breakpoint_state_t *uds) in Arch_initBreakpointContext()`

Completed in 11 milliseconds