pmap_l3pt_delref
pmap_l3pt_delref(pmap, vptva,
pmap_l3pt_delref(pmap, va, pte, cpu_id);
void pmap_l3pt_delref(pmap_t, vaddr_t, pt_entry_t *, cpuid_t);