coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
gdt.h
Go to the documentation of this file.
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 */
gdt
char gdt[]
idtarg
char idtarg[]
Definition: exception.c:621
_secondary_gdt_addr
char _secondary_gdt_addr[]
_secondary_start
char _secondary_start[]
per_cpu_segment_descriptors
char per_cpu_segment_descriptors[]
gdt_end
char gdt_end[]
_secondary_start_end
char _secondary_start_end[]
per_cpu_segment_selector
uint32_t per_cpu_segment_selector
uint32_t
unsigned int uint32_t
Definition: stdint.h:14