Searched refs:tpidrurw (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dtypes.h23 seL4_Word tpidrurw, tpidruro; member in struct:seL4_UserContext_
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dtypes.h23 seL4_Word tpidrurw, tpidruro; member in struct:seL4_UserContext_
/seL4-camkes-master/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/
H A Dregisters.h37 "tpidrurw",
58 compile_time_assert(tpidrurw_correct_position, offsetof(seL4_UserContext, tpidrurw) == 17 * sizeof(seL4_Word));
/seL4-camkes-master/projects/seL4_libs/libsel4debug/sel4_arch_include/arm_hyp/sel4debug/sel4_arch/
H A Dregisters.h37 "tpidrurw",
58 compile_time_assert(tpidrurw_correct_position, offsetof(seL4_UserContext, tpidrurw) == 17 * sizeof(seL4_Word));

Completed in 40 milliseconds