OP_TLBI_RIPAS2LE1OSNXS
#define OP_TLBI_RIPAS2LE1OSNXS sys_insn(1, 4, 9, 4, 7)
SR_TRAP(OP_TLBI_RIPAS2LE1OSNXS, CGT_HCR_NV),