Searched refs:seL4_TimeoutReply_GS_BASE (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Dregisterset.h110 [seL4_TimeoutReply_GS_BASE] = GS_BASE,\
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h132 seL4_TimeoutReply_GS_BASE, enumerator in enum:__anon40
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h132 seL4_TimeoutReply_GS_BASE, enumerator in enum:__anon95

Completed in 25 milliseconds