SBI_EXT_FWFT
DEFINE(SBI_EXT_FWFT, SBI_EXT_FWFT);
ret = sbi_ecall(SBI_EXT_FWFT, SBI_EXT_FWFT_SET,
sbi_probe_extension(SBI_EXT_FWFT)) {
.extid_start = SBI_EXT_FWFT,
.extid_end = SBI_EXT_FWFT,