riscv_isa_vendor_extension_available
if (!riscv_isa_vendor_extension_available(MIPS_VENDOR_ID, XMIPSEXECTL))
return riscv_isa_vendor_extension_available(THEAD_VENDOR_ID, XTHEADVECTOR);