original_kernel/arch/x86/kernel/acpi
..
Makefile
Makefile_32
Makefile_64
boot.c
cstate.c
earlyquirk_32.c
processor.c
sleep_32.c
sleep_64.c
wakeup_32.S
wakeup_64.S