flush_dcache_page from user space.

[Arun KS]

Hi Ratheesh,

On Tue, Apr 1, 2014 at 11:54 AM, ratheesh kannoth
<ratheesh.ksz at gmail.com> wrote:
> On Tue, Apr 1, 2014 at 11:50 AM, Arun KS <getarunks at gmail.com> wrote:
>> This requirement depends on what cache your hardware has.
>> Can you give more details about your processor?
>>
>> If you have VIPT non aliasing cache or PIPT cache, you don't need to
>> do anything.
>>
>
> How can i find which cache hw  on my machine ?
Usually prints while booting.

Thanks,
Arun
>
>
> Thanks,
> Ratheesh