Searched refs:pmap_switch_internal (Results 1 – 2 of 2) sorted by relevance
1392 [PMAP_SWITCH_INDEX] = pmap_switch_internal,4581 pmap_switch_internal( function4766 pmap_switch_internal(pmap);
3576 pmap_switch_internal( function3612 pmap_switch_internal(pmap);