SBI_RFNC_REMOTE_SFENCE_VMA
ret = SBI_CALL4(SBI_EXT_ID_RFNC, SBI_RFNC_REMOTE_SFENCE_VMA,
case SBI_RFNC_REMOTE_SFENCE_VMA: