Home | History | Annotate | Download | only in x86

Lines Matching defs:avail

619 	vaddr_t page, avail, map_end;
672 	avail = new_pgd;
680 	L4cpu = (pd_entry_t *)avail;
682 	avail += PAGE_SIZE;
685 	L4 = (pd_entry_t *)avail;
687 	avail += PAGE_SIZE;
690 	L3 = (pd_entry_t *)avail;
692 	avail += PAGE_SIZE;
700 	L2 = (pd_entry_t *)avail;
702 	avail += PAGE_SIZE;
713 	L3 = (pd_entry_t *)avail;
715 	avail += PAGE_SIZE;
725 	L2 = (pd_entry_t *)avail;
727 	avail += PAGE_SIZE * 5;
746 		pte = (pd_entry_t *)avail;
748 		avail += PAGE_SIZE;