soc/intel/xeon_sp: Revise IIO domain ACPI name encoding
[coreboot2.git] / src / include / cpu / x86 / gdt.h
blob27a863ee330875fbdb650405feea6bb4be8676ad
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #ifndef CPU_X86_GDT
4 #define CPU_X86_GDT
6 /* These symbols are defined in c_start.S. */
7 extern char gdt[];
8 extern char per_cpu_segment_descriptors[];
9 extern uint32_t per_cpu_segment_selector;
10 extern char gdt_end[];
11 extern char idtarg[];
13 /* These symbols are defined in secondary.S. */
14 extern char _secondary_gdt_addr[];
15 extern char _secondary_start[];
16 extern char _secondary_start_end[];
18 #endif /* CPU_X86_GDT */