OP_TLBI_RIPAS2LE1OS
#define OP_TLBI_RIPAS2LE1OS sys_insn(1, 4, 8, 4, 7)
SR_TRAP(OP_TLBI_RIPAS2LE1OS, CGT_HCR_NV),