Searched defs:FLAGS (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c417 setRegister(NODE_STATE(ksCurThread), FLAGS, irq_stack[3]); local
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/
H A Dregisterset.h54 /* 0x40 */ FLAGS = 16, enumerator in enum:_register
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h52 FLAGS = 13, /* 0x68 */ enumerator in enum:_register

Completed in 403 milliseconds