Searched defs:capRegister (Results 1 - 6 of 6) sorted by relevance
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 28 capRegister = EBX, enumerator in enum:_register
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 29 capRegister = 0, enumerator in enum:_register
|
| /seL4-test-master/kernel/src/api/ |
| H A D | syscall.c | 103 setRegister(NODE_STATE(ksCurThread), capRegister, cap_type); local
209 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_IllegalOperatio local
227 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_NoError); local
232 setRegister(NODE_STATE(ksCurThread), capRegister, ksLogIndexFinalized); local
243 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_IllegalOperation); local
247 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_NoError); local
[all...] |
| /seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 37 a0 = 9, capRegister = 9, badgeRegister = 9, enumerator in enum:_register
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 67 capRegister = 0, enumerator in enum:_register
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 90 capRegister = 0, enumerator in enum:_register
|
Completed in 50 milliseconds