Searched refs:boot_gdt (Results 1 – 4 of 4) sorted by relevance
68 static const u64 boot_gdt[] __attribute__((aligned(16))) = { in setup_gdt() local84 gdt.len = sizeof(boot_gdt)-1; in setup_gdt()85 gdt.ptr = (u32)&boot_gdt + (ds() << 4); in setup_gdt()
75 extern unsigned char boot_gdt[];
106 static void load_gdt(const u64 *boot_gdt, u16 num_entries) in load_gdt() argument111 gdt.ptr = (ulong)boot_gdt; in load_gdt()
142 trampoline_header->gdt_base = __pa_symbol(boot_gdt); in setup_real_mode()