Home
last modified time | relevance | path

Searched refs:cpu_acpi_set_register (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/uts/i86pc/sys/
H A Dcpu_acpi.h227 extern void cpu_acpi_set_register(uint32_t, uint32_t);
/illumos-gate/usr/src/uts/i86pc/os/cpupm/
H A Dcpu_idle.c741 cpu_acpi_set_register(ACPI_BITREG_BUS_MASTER_RLD, 0); in cpu_idle_init()
H A Dcpu_acpi.c1095 cpu_acpi_set_register(uint32_t bitreg, uint32_t value) in cpu_acpi_set_register() function