VM_PHYS_SIZE
VM_PHYS_SIZE, 0, FALSE, NULL);
lev3mapsize = (VM_PHYS_SIZE + 16 * NCARGS + PAGER_MAP_SIZE) /
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);
VM_PHYS_SIZE, 0, FALSE, NULL);