state (definition) in projects: seL4-master

Searched defs:state (Results 1 – 6 of 6) sorted by relevance

/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`108 static void inline updateIRQState(irq_t irq, x86_irq_state_t state) in updateIRQState() 124 x86_irq_state_t state = x86KSIRQState[irq]; in maskInterrupt() local`
/seL4-master/include/api/
A D	debug.h	`81 char *state; in debug_printTCB() local`
/seL4-master/include/arch/x86/arch/machine/
A D	registerset.h	`58 uint8_t state[CONFIG_XSAVE_SIZE]; member`
/seL4-master/include/fastpath/
A D	fastpath.h	`83 word_t state) in endpoint_ptr_mset_epQueue_tail_state()`
/seL4-master/src/object/
A D	endpoint.c	`314 thread_state_t *state = &tptr->tcbState; in cancelIPC() local`
/seL4-master/tools/
A D	lex.py	`288 def begin(self, state): argument 300 def push_state(self, state): argument`

Completed in 15 milliseconds