pmap_remove_ptes
pmap_remove_ptes(pmap, ptp, (vaddr_t)&PTE_BASE[pl1_i(va)],
void pmap_remove_ptes(struct pmap *, struct vm_page *, vaddr_t,