RISCV_ISA_EXT_SVVPTC
if (riscv_has_extension_unlikely(RISCV_ISA_EXT_SVVPTC))
__RISCV_ISA_EXT_DATA(svvptc, RISCV_ISA_EXT_SVVPTC),
!(was_invalid && riscv_has_extension_unlikely(RISCV_ISA_EXT_SVVPTC)))
if (riscv_has_extension_unlikely(RISCV_ISA_EXT_SVVPTC)) {