Symbol: sbi_clear_domain_state
drivers/cpuidle/cpuidle-riscv-sbi.c
130
sbi_clear_domain_state();
drivers/cpuidle/cpuidle-riscv-sbi.c
164
sbi_clear_domain_state();