pmap_physpage_delref
static int pmap_physpage_delref(void *);
if (pmap_physpage_delref(l3pte) == 0) {
if (pmap_physpage_delref(l2pte) == 0) {
(void)pmap_physpage_delref(l1pte);