Searched refs:gdt_base (Results 1 – 2 of 2) sorted by relevance
48 u32 gdt_base; member
140 trampoline_header->gdt_base = __pa_symbol(boot_gdt); in setup_real_mode()