1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef CPU_X86_GDT 4 #define CPU_X86_GDT 5 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[]; 12 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[]; 17 18 #endif /* CPU_X86_GDT */ 19