coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
gdt.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables

char gdt []
 
char per_cpu_segment_descriptors []
 
uint32_t per_cpu_segment_selector
 
char gdt_end []
 
char idtarg []
 
char _secondary_gdt_addr []
 
char _secondary_start []
 
char _secondary_start_end []
 

Variable Documentation

◆ _secondary_gdt_addr

char _secondary_gdt_addr[]
extern

Referenced by setup_secondary_gdt().

◆ _secondary_start

char _secondary_start[]
extern

◆ _secondary_start_end

char _secondary_start_end[]
extern

◆ gdt

char gdt[]
extern

◆ gdt_end

char gdt_end[]
extern

◆ idtarg

char idtarg[]
extern

Definition at line 596 of file exception.c.

Referenced by load_idt(), and setup_default_sipi_vector_params().

◆ per_cpu_segment_descriptors

char per_cpu_segment_descriptors[]
extern

◆ per_cpu_segment_selector

uint32_t per_cpu_segment_selector
extern