Searched defs:tss (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/
H A Dstack.h45 void *tss = &x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.tss; local
/seL4-l4v-master/seL4/include/arch/x86/arch/model/
H A Dstatedata.h26 tss_t tss; member in struct:__anon150
/seL4-l4v-master/seL4/src/arch/x86/32/kernel/
H A Dvspace.c27 BOOT_CODE void init_tss(tss_t *tss) argument
63 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) argument
/seL4-l4v-master/seL4/src/arch/x86/64/kernel/
H A Dvspace.c308 BOOT_CODE void init_tss(tss_t *tss) argument
340 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) argument

Completed in 87 milliseconds