Searched refs:_boot_gdt (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dhead.S141 .long _boot_gdt /* Address of boot GDT */
144 _boot_gdt: label
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dhead.S457 .long _boot_gdt /* Address of boot GDT */
461 _boot_gdt: label

Completed in 32 milliseconds