45,6 → 45,7 |
#include <genarch/acpi/acpi.h> |
#include <panic.h> |
#include <interrupt.h> |
#include <arch/syscall.h> |
|
/** Disable I/O on non-privileged levels |
* |
99,10 → 100,9 |
|
/* Enable No-execute pages */ |
set_efer_flag(AMD_NXE_FLAG); |
/* Enable SYSCALL/SYSRET */ |
set_efer_flag(AMD_SCE_FLAG); |
/* Enable FPU */ |
cpu_setup_fpu(); |
|
/* Initialize segmentation */ |
pm_init(); |
|
113,7 → 113,6 |
/* Disable alignment check */ |
clean_AM_flag(); |
|
|
if (config.cpu_active == 1) { |
bios_init(); |
i8259_init(); /* PIC */ |
132,6 → 131,9 |
if (config.cpu_active == 1) { |
ega_init(); /* video */ |
} |
/* Setup fast SYSCALL/SYSRET */ |
syscall_setup_cpu(); |
|
} |
|
void arch_pre_smp_init(void) |