SBI_EXT_ID_RFNC
ret = SBI_CALL2(SBI_EXT_ID_RFNC, SBI_RFNC_REMOTE_FENCE_I,
ret = SBI_CALL4(SBI_EXT_ID_RFNC, SBI_RFNC_REMOTE_SFENCE_VMA,
ret = SBI_CALL5(SBI_EXT_ID_RFNC,
if (sbi_probe_extension(SBI_EXT_ID_RFNC) != 0)
case SBI_EXT_ID_RFNC:
case SBI_EXT_ID_RFNC: