Searched refs:cpu_acpi_set_register (Results 1 – 3 of 3) sorted by relevance
227 extern void cpu_acpi_set_register(uint32_t, uint32_t);
741 cpu_acpi_set_register(ACPI_BITREG_BUS_MASTER_RLD, 0); in cpu_idle_init()
1095 cpu_acpi_set_register(uint32_t bitreg, uint32_t value) in cpu_acpi_set_register() function