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

/libcpu/risc-v/common64/
A D	sbi.c	123 ret = SBI_CALL1(SBI_EXT_ID_TIME, SBI_TIME_SET_TIMER, val); in sbi_set_timer() 250 if (sbi_probe_extension(SBI_EXT_ID_TIME) != 0) in sbi_init()
A D	sbi.h	88 #define SBI_EXT_ID_TIME 0x54494D45 macro

Completed in 4 milliseconds

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