OP_TLBI_ALLE2IS
#define OP_TLBI_ALLE2IS sys_insn(1, 4, 8, 3, 0)
SR_TRAP(OP_TLBI_ALLE2IS, CGT_HCR_NV),