Searched refs:seL4_Timeout_Consumed_LowBits (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfaults.h44 seL4_GetMR(seL4_Timeout_Consumed_LowBits));
H A Dconstants.h115 seL4_Timeout_Consumed_LowBits, enumerator in enum:__anon78
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dfaults.h45 seL4_GetMR(seL4_Timeout_Consumed_LowBits));
H A Dconstants.h118 seL4_Timeout_Consumed_LowBits, enumerator in enum:__anon5
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h54 seL4_GetMR(seL4_Timeout_Consumed_LowBits));
H A Dconstants.h135 seL4_Timeout_Consumed_LowBits, enumerator in enum:__anon14
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h54 seL4_GetMR(seL4_Timeout_Consumed_LowBits));
H A Dconstants.h135 seL4_Timeout_Consumed_LowBits, enumerator in enum:__anon33

Completed in 99 milliseconds