diff options
| author | Russell King <rmk@flint.arm.linux.org.uk> | 2003-04-28 03:17:22 +0100 |
|---|---|---|
| committer | Russell King <rmk@flint.arm.linux.org.uk> | 2003-04-28 03:17:22 +0100 |
| commit | 27510721a1fd996ca8500e3414e0e5dd5d435099 (patch) | |
| tree | 91fe47328353c9e3614c96bbb27f0910a93223e6 /include/linux/loop.h | |
| parent | ef76bbd297ef62cbfbb9e04e038b41364cf27374 (diff) | |
[ARM] set_pgd is confusing; rename it switch_mm
set_pgd implies that we're setting a pgd entry. We aren't; we're
switching the MMU page table pointer. Call it switch_mm instead.
Diffstat (limited to 'include/linux/loop.h')
0 files changed, 0 insertions, 0 deletions