[PATCH 1/1] arm64: TLB maintainance: Implement flush_kern_tlb_page

[Ritesh Harjani]

Hi Catalin,

On Mon, May 19, 2014 at 4:16 PM, Catalin Marinas
<catalin.marinas at arm.com> wrote:
> On Mon, May 19, 2014 at 11:34:25AM +0100, ritesh.harjani at gmail.com wrote:
>> From: Ritesh Harjani <ritesh.harjani at gmail.com>
>>
>> Implement flush_kern_tlb_page mentioned in the header
>> comment of arch/arm64/include/asm/tlbflush.h
>
> Alternatively, clean-up the comment.

You mean this function is of no use ? Or there are other plans which
might require clean up of this file ?

Also, could you please confirm whether the implementation of the
function is correct ?

>> +       asm("tlbi       vae1is, %0" : : "r" (addr));

Should following instruction be more appropriate instead of above:
asm("tlbi       vaae1is, %0" : : "r" (addr));

>
> --
> Catalin


Thanks
Ritesh