include include hal_generic hal_generic_acpi ntoskrnl spinlock.c x86bios.c halinit.c stubs.c systimer.S processor.c