PDIRSZ
while (KERNTEXTOFF + mapsize + (nL2 + PDIRSZ) * PAGE_SIZE >
if (our_tables < xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE))
our_tables = xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE);
if (our_tables + ((oldcount + PDIRSZ) * PAGE_SIZE) >
oldcount + PDIRSZ, nL2, true);
memset((void *)(xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE)), 0,
return (xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE));
map_end = new_pgd + ((new_count + PDIRSZ) * PAGE_SIZE);
page < new_pgd + ((new_count + PDIRSZ) * PAGE_SIZE)) {