On 01/07/2015 1:43 am, "Peter Maydell" <
address@hidden> wrote:
On 30 June 2015 at 16:02, Sergey Fedorov <address@hidden> wrote:
> TLBI ALLE1IS is an operation that does invalidate TLB entries on all PEs
> in the same Inner Sharable domain, not just on the current CPU. So we
> must use tlbiall_is_write() here.
>
> Signed-off-by: Sergey Fedorov <address@hidden>
> ---
> target-arm/helper.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/target-arm/helper.c b/target-arm/helper.c
> index aa34159..b87afe7 100644
> --- a/target-arm/helper.c
> +++ b/target-arm/helper.c
> @@ -2441,7 +2441,7 @@ static const ARMCPRegInfo v8_cp_reginfo[] = {
> { .name = "TLBI_ALLE1IS", .state = ARM_CP_STATE_AA64,
> .opc0 = 1, .opc1 = 4, .crn = 8, .crm = 3, .opc2 = 4,
> .access = PL2_W, .type = ARM_CP_NO_RAW,
> - .writefn = tlbiall_write },
> + .writefn = tlbiall_is_write },
> { .name = "TLBI_VMALLE1IS", .state = ARM_CP_STATE_AA64,
> .opc0 = 1, .opc1 = 0, .crn = 8, .crm = 3, .opc2 = 0,
> .access = PL1_W, .type = ARM_CP_NO_RAW,
Nice catch -- applied to target-arm.next, thanks.
-- PMM