OP_TLBI_RVALE2OS
#define OP_TLBI_RVALE2OS sys_insn(1, 4, 8, 5, 5)
SR_TRAP(OP_TLBI_RVALE2OS, CGT_HCR_NV),