acrn-kernel/arch/x86/kernel/acpi
..
Makefile
Makefile_32
boot.c
cstate.c
earlyquirk_32.c
processor.c
sleep_32.c
wakeup_32.S