coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
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 [] |
|
extern |
Referenced by setup_secondary_gdt().
|
extern |
Referenced by copy_secondary_start_to_lowest_1M().
|
extern |
Referenced by copy_secondary_start_to_lowest_1M().
|
extern |
Referenced by setup_default_sipi_vector_params(), and setup_secondary_gdt().
|
extern |
Referenced by setup_default_sipi_vector_params(), and setup_secondary_gdt().
|
extern |
Definition at line 596 of file exception.c.
Referenced by load_idt(), and setup_default_sipi_vector_params().
|
extern |
Referenced by setup_default_sipi_vector_params().
|
extern |
Referenced by setup_default_sipi_vector_params().