Searched refs:SBI_EXT_ID_IPI (Results 1 – 2 of 2) sorted by relevance

/libcpu/risc-v/common64/
A D	sbi.c	139 ret = SBI_CALL2(SBI_EXT_ID_IPI, SBI_IPI_SEND_IPI, *hart_mask, 0); in sbi_send_ipi() 252 if (sbi_probe_extension(SBI_EXT_ID_IPI) != 0) in sbi_init()
A D	sbi.h	92 #define SBI_EXT_ID_IPI 0x735049 macro

Completed in 4 milliseconds

Last Index update Fri Aug 22 02:45:11 CST 2025