Searched defs:state (Results 1 - 6 of 6) sorted by last modified time

/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dfdt.c111 fdt_scan_helper( uint32_t *lex, const char *strings, struct fdt_scan_node *node, struct scan_state *state) argument
205 struct scan_state state; local
[all...]
/seL4-mcs-10.1.1/src/object/
H A Dendpoint.c236 thread_state_t *state = &tptr->tcbState; local
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/
H A Dinterrupt.h115 updateIRQState(irq_t irq, x86_irq_state_t state) argument
132 x86_irq_state_t state = x86KSIRQState[irq]; local
/seL4-mcs-10.1.1/include/fastpath/
H A Dfastpath.h76 endpoint_ptr_mset_epQueue_tail_state(endpoint_t *ep_ptr, word_t epQueue_tail, word_t state) argument
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dregisterset.h63 uint8_t state[CONFIG_XSAVE_SIZE]; member in struct:user_fpu_state
/seL4-mcs-10.1.1/include/api/
H A Ddebug.h89 char* state; local
[all...]

Completed in 74 milliseconds