riscv/kernel/sbi.c

3  * SBI initialilization and all extension implementation.
147 	/* v0.2 function IDs are equivalent to v0.1 extension IDs */  in __sbi_rfence_v01()
178 	pr_warn("Timer extension is not available in SBI v%lu.%lu\n",  in __sbi_set_timer_v01()
184 	pr_warn("IPI extension is not available in SBI v%lu.%lu\n",  in __sbi_send_ipi_v01()
194 	pr_warn("remote fence extension is not available in SBI v%lu.%lu\n",  in __sbi_rfence_v01()
297 		pr_err("unknown function ID [%lu] for SBI extension [%d]\n",  in __sbi_rfence_v02_call()
505  * sbi_probe_extension() - Check if an SBI extension ID is supported or not.
506  * @extid: The extension ID to be probed.
508  * Return: Extension specific nonzero value f yes, -ENOTSUPP otherwise.
580 			pr_info("SBI v0.2 TIME extension detected\n");  in sbi_init()
586 			pr_info("SBI v0.2 IPI extension detected\n");  in sbi_init()
592 			pr_info("SBI v0.2 RFENCE extension detected\n");  in sbi_init()