Searched refs:seL4_Timeout_Data (Results 1 - 15 of 15) sorted by relevance
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | faults.h | 42 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 112 seL4_Timeout_Data, enumerator in enum:__anon78
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | faults.h | 43 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 116 seL4_Timeout_Data, enumerator in enum:__anon5
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | faults.h | 43 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 122 seL4_Timeout_Data, enumerator in enum:__anon10
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | faults.h | 52 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 163 seL4_Timeout_Data, enumerator in enum:__anon24
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | faults.h | 50 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 119 seL4_Timeout_Data, enumerator in enum:__anon93
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | faults.h | 52 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 132 seL4_Timeout_Data, enumerator in enum:__anon14
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | faults.h | 52 return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),
|
H A D | constants.h | 132 seL4_Timeout_Data, enumerator in enum:__anon33
|
/seL4-l4v-master/seL4/src/api/ |
H A D | faults.c | 222 word_t len = setMR(receiver, receiveIPCBuffer, seL4_Timeout_Data,
|
Completed in 68 milliseconds