diff options
| author | Vinod Rex <vrex@nvidia.com> | 2011-10-07 11:30:35 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@nvidia.com> | 2011-11-30 21:49:18 -0800 |
| commit | 3e6793f5b88bdbe33294bb50f7424c0a3af70b0a (patch) | |
| tree | 472746a8ffb1d80d2ceb7376f578636d0b4ed2c2 /arch/arm/mm/flush.c | |
| parent | 25ff8cf8fae7de0a7a47afbe54ea4e298b93e66d (diff) | |
arm: mm: change_page_attr support
bug 865816
Adapted from x86 change_page_attr() implementation
Change-Id: I398c9d460b841484de4fcfcac10ffffdf49a4a5a
Reviewed-on: http://git-master/r/56769
Reviewed-by: Krishna Reddy <vdumpa@nvidia.com>
Tested-by: Krishna Reddy <vdumpa@nvidia.com>
Rebase-Id: Rddeccf358c948ba84af52316f084814ae53dca5e
Diffstat (limited to 'arch/arm/mm/flush.c')
0 files changed, 0 insertions, 0 deletions