Symbol: __sbi_enter_domain_idle_state
drivers/cpuidle/cpuidle-riscv-sbi.c
137
return __sbi_enter_domain_idle_state(dev, drv, idx, false);
drivers/cpuidle/cpuidle-riscv-sbi.c
144
return __sbi_enter_domain_idle_state(dev, drv, idx, true);