Searched refs:pmap_switch (Results 1 – 6 of 6) sorted by relevance
241 extern void pmap_switch(pmap_t);
1355 pmap_switch(pmap); in arm64_pan_test()1388 pmap_switch(old_pmap); in arm64_pan_test()
279 pmap_switch(new_pmap); in machine_switch_pmap_and_extended_context()
1110 pmap_switch, (pmap_t pmap), PMAP_SWITCH_INDEX);3572 pmap_switch(pmap);3608 pmap_switch( function11738 pmap_switch(pmap);11764 pmap_switch(old_pmap);
1143 pmap_switch, (pmap_t pmap), PMAP_SWITCH_INDEX);4543 pmap_switch(pmap);4759 pmap_switch( function14651 pmap_switch(pmap);14677 pmap_switch(old_pmap);
2707 pmap_switch(pmap_t tpmap) in pmap_switch() function