Searched refs:cpu_acpi_get_register (Results 1 – 3 of 3) sorted by relevance
228 extern void cpu_acpi_get_register(uint32_t, uint32_t *);
739 cpu_acpi_get_register(ACPI_BITREG_BUS_MASTER_RLD, &value); in cpu_idle_init()
1101 cpu_acpi_get_register(uint32_t bitreg, uint32_t *value) in cpu_acpi_get_register() function