[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.
Showing
Please register or sign in to comment
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.