target-arm: Add TLBI_VAE2{IS}

Backports commit 8742d49d6f2278d353a1623dfa8a5e237dbfd906 from qemu
This commit is contained in:
Edgar E. Iglesias 2018-02-13 08:13:30 -05:00 committed by Lioncash
parent a2bab5d679
commit 8a8e174981
No known key found for this signature in database
GPG key ID: 4E3C3CC1031BA9C7

View file

@ -2268,6 +2268,12 @@ static const ARMCPRegInfo v8_el2_cp_reginfo[] = {
{ "TLBI_ALLE2", 0,8,7, 1,4,0, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
PL2_W, 0, NULL, 0, 0, {0, 0},
NULL, NULL, tlbiall_write },
{ "TLBI_VAE2", 0,8,7, 1,4,1, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
PL2_W, 0, NULL, 0, 0, {0, 0},
NULL, NULL, tlbi_aa64_vaa_write },
{ "TLBI_VAE2IS", 0,8,3, 1,4,1, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
PL2_W, 0, NULL, 0, 0, {0, 0},
NULL, NULL, tlbi_aa64_vaa_write },
REGINFO_SENTINEL
};