vmemmap_verify
vmemmap_verify(ptep, node, addr, next);
vmemmap_verify(pte, node, addr, addr + PAGE_SIZE);
vmemmap_verify(pte, node, addr, addr + PAGE_SIZE);
vmemmap_verify(pte, node, map_addr, map_addr + PAGE_SIZE);
vmemmap_verify(pte, node, addr, addr + PAGE_SIZE);
vmemmap_verify(pte, node, addr, addr + PAGE_SIZE);
vmemmap_verify(pte, node, addr, addr + PAGE_SIZE);
vmemmap_verify(pmdp_ptep(pmdp), node, addr, next);
vmemmap_verify((pte_t *)pmd, node, addr, next);
void vmemmap_verify(pte_t *, int, unsigned long, unsigned long);
vmemmap_verify(pte, node, addr, addr + PAGE_SIZE);
vmemmap_verify((pte_t *)pmd, node, addr, next);