OP_TLBI_RVALE2ISNXS
#define OP_TLBI_RVALE2ISNXS sys_insn(1, 4, 9, 2, 5)
SR_TRAP(OP_TLBI_RVALE2ISNXS, CGT_HCR_NV),