PTPAGEVASZ
#define PTPAGEVAOFS (PTPAGEVASZ - 1)
for (va = kernel_virtual_end; va < new_maxkva; va += PTPAGEVASZ) {
nptpages = (var->end_va - var->start_va) / PTPAGEVASZ;