target-arm: Add TLBI_ALLE1{IS}

Backports commit bdb9e2d66afbe0571dce48a9430c35ae4d6bbd32 from qemu
This commit is contained in:
Edgar E. Iglesias 2018-02-13 08:07:38 -05:00 committed by Lioncash
parent 74daefe28b
commit 4fdfb4e39b
No known key found for this signature in database
GPG key ID: 4E3C3CC1031BA9C7

View file

@ -2051,6 +2051,12 @@ static const ARMCPRegInfo v8_cp_reginfo[] = {
{ "DC_CISW", 0,7,14, 1,0,2, ARM_CP_STATE_AA64,
ARM_CP_NOP, PL1_W, },
/* TLBI operations */
{ "TLBI_ALLE1", 0,8,7, 1,4,4, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
PL2_W, 0, NULL, 0, 0, {0, 0},
NULL, NULL, tlbiall_write },
{ "TLBI_ALLE1IS", 0,8,3, 1,4,4, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
PL2_W, 0, NULL, 0, 0, {0, 0},
NULL, NULL, tlbiall_write },
{ "TLBI_VMALLE1IS", 0,8,3, 1,0,0, ARM_CP_STATE_AA64,
ARM_CP_NO_RAW, PL1_W, 0, NULL, 0, 0, {0, 0},
NULL, NULL, tlbiall_is_write },