Searched refs:tss_addr (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	65 uint32_t tss_addr = (uint32_t)tss; in init_gdt() local 136 tss_addr >> 24, /* base_high 8 bits */ in init_gdt() 144 (tss_addr >> 16) & 0xff, /* base_mid 8 bits */ in init_gdt() 145 (tss_addr & 0xffff), /* base_low 16 bits */ in init_gdt()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023