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