HardenedBSD/sys/dev/xen/cpu
..
xen_acpi_cpu.c