SBI_CALL4
ret = SBI_CALL4(SBI_EXT_ID_RFNC, SBI_RFNC_REMOTE_SFENCE_VMA,
(void)SBI_CALL4(SBI_REMOTE_SFENCE_VMA_ASID, 0,