pmap_fault_reload
if (pmap_fault_reload(pmap, va, ftype))
static int pmap_fault_reload(struct pmap *, vaddr_t, int);
if (pmap_fault_reload(pmap, va, ftype))
static int pmap_fault_reload(struct pmap *, vaddr_t, int);