Symbol: CPU_GET_REG
sys/dev/acpica/acpi_cpu.c
1165
CPU_GET_REG(cx_next->p_lvlx, 1);
sys/dev/acpica/acpi_cpu.c
1210
CPU_GET_REG(cx_next->p_lvlx, 1);