Searched defs:badgeRegister (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/machine/ | ||
H A D | registerset.h | 29 badgeRegister = EBX, enumerator in enum:_register |
/seL4-camkes-master/kernel/src/arch/x86/object/ | ||
H A D | ioport.c | 188 setRegister(NODE_STATE(ksCurThread), badgeRegister, 0); local |
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/machine/ | ||
H A D | registerset.h | 30 badgeRegister = 0, enumerator in enum:_register |
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/ | ||
H A D | registerset.h | 68 badgeRegister = 0, enumerator in enum:_register |
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/ | ||
H A D | registerset.h | 37 a0 = 9, capRegister = 9, badgeRegister = 9, enumerator in enum:_register |
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/ | ||
H A D | registerset.h | 91 badgeRegister = 0, enumerator in enum:_register |
Completed in 97 milliseconds