Symbol: cpu_acpi_set_register
usr/src/uts/i86pc/os/cpupm/cpu_idle.c
818
cpu_acpi_set_register(ACPI_BITREG_BUS_MASTER_RLD, 0);
usr/src/uts/i86pc/sys/cpu_acpi.h
227
extern void cpu_acpi_set_register(uint32_t, uint32_t);