Symbol: cpu_acpi_get_register
usr/src/uts/i86pc/os/cpupm/cpu_idle.c
816
cpu_acpi_get_register(ACPI_BITREG_BUS_MASTER_RLD, &value);
usr/src/uts/i86pc/sys/cpu_acpi.h
228
extern void cpu_acpi_get_register(uint32_t, uint32_t *);