Lines Matching refs:gdt_addr
131 u64 *gdt_addr; in arch_setup_gd() local
133 gdt_addr = new_gd->arch.gdt; in arch_setup_gd()
140 gdt_addr[X86_GDT_ENTRY_UNUSED] = GDT_ENTRY(0xc09b, 0, 0xfffff); in arch_setup_gd()
141 gdt_addr[X86_GDT_ENTRY_32BIT_CS] = GDT_ENTRY(0xc09b, 0, 0xfffff); in arch_setup_gd()
144 gdt_addr[X86_GDT_ENTRY_32BIT_DS] = GDT_ENTRY(0xc093, 0, 0xfffff); in arch_setup_gd()
151 gdt_addr[X86_GDT_ENTRY_32BIT_FS] = GDT_ENTRY(0x8093, in arch_setup_gd()
156 gdt_addr[X86_GDT_ENTRY_16BIT_CS] = GDT_ENTRY(0x009b, 0, 0x0ffff); in arch_setup_gd()
159 gdt_addr[X86_GDT_ENTRY_16BIT_DS] = GDT_ENTRY(0x0093, 0, 0x0ffff); in arch_setup_gd()
161 gdt_addr[X86_GDT_ENTRY_16BIT_FLAT_CS] = GDT_ENTRY(0x809b, 0, 0xfffff); in arch_setup_gd()
162 gdt_addr[X86_GDT_ENTRY_16BIT_FLAT_DS] = GDT_ENTRY(0x8093, 0, 0xfffff); in arch_setup_gd()
164 load_gdt(gdt_addr, X86_GDT_NUM_ENTRIES); in arch_setup_gd()