1 /* SPDX-License-Identifier: GPL-2.0-only */
6 /* These symbols are defined in c_start.S. */
8 extern char per_cpu_segment_descriptors
[];
9 extern uint32_t per_cpu_segment_selector
;
10 extern char gdt_end
[];
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 */