/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* This file is part of the coreboot project. */ | |
#ifndef CPU_X86_GDT | |
#define CPU_X86_GDT | |
/* These symbols are defined in c_start.S. */ | |
extern char gdt[]; | |
extern char gdt_end[]; | |
extern char idtarg[]; | |
/* These symbols are defined in secondary.S. */ | |
extern char _secondary_gdt_addr[]; | |
extern char _secondary_start[]; | |
extern char _secondary_start_end[]; | |
#endif /* CPU_X86_GDT */ |