Searched refs:badgeRegister (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-master/seL4/src/object/ |
| H A D | notification.c | 87 setRegister(tcb, badgeRegister, badge);
101 setRegister(tcb, badgeRegister, badge);
143 setRegister(dest, badgeRegister, badge);
199 thread, badgeRegister,
258 setRegister(tcb, badgeRegister, badge);
|
| H A D | endpoint.c | 274 setRegister(thread, badgeRegister, 0);
291 setRegister(thread, badgeRegister, 0);
|
| H A D | tcb.c | 1939 setRegister(thread, badgeRegister, 0);
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 29 badgeRegister = EBX, enumerator in enum:_register
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 30 badgeRegister = 0, enumerator in enum:_register
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 37 a0 = 9, capRegister = 9, badgeRegister = 9, enumerator in enum:_register
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 91 badgeRegister = 0, enumerator in enum:_register
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 68 badgeRegister = 0, enumerator in enum:_register
|
| /seL4-l4v-master/seL4/src/kernel/ |
| H A D | thread.c | 218 setRegister(receiver, badgeRegister, badge);
231 setRegister(receiver, badgeRegister, badge);
293 setRegister(thread, badgeRegister, 0);
|
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | ioport.c | 188 setRegister(NODE_STATE(ksCurThread), badgeRegister, 0); local
|
| H A D | vcpu.c | 1290 setRegister(tcb, badgeRegister, badge);
|
| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | vcpu.c | 333 setRegister(thread, badgeRegister, 0);
|
Completed in 84 milliseconds