linux_dsm_epyc7002/drivers/acpi/x86
..
utils.c