blob: b4d01035f6e10539af08d2279f3dec282ce2ad7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/* 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 */
|
