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