__pmap_pte_load
bool __pmap_pte_load(pmap_t, vaddr_t, int);
if (track && __pmap_pte_load(pmap, va, track)) {
loaded = __pmap_pte_load(pmap, va, track);