Lines Matching defs:vaddr
111 lvaddr_t vaddr;
118 for(vaddr = vbase; vaddr < vbase + size;
119 vaddr += BASE_PAGE_SIZE, base += BASE_PAGE_SIZE) {
120 lvaddr_t baddr = vaddr - X86_64_INIT_VBASE;
126 X86_64_PTABLE_SIZE + X86_64_PTABLE_BASE(vaddr)];
128 debug(SUBSYS_PAGING, "Mapping 4K page: vaddr = 0x%lx, base = 0x%lx, "
130 "PTABLE_BASE = %lu -- ", vaddr, base, X86_64_PML4_BASE(baddr),
300 for(lvaddr_t vaddr = X86_64_INIT_VBASE; vaddr < X86_64_INIT_SPACE_LIMIT;
301 vaddr += BASE_PAGE_SIZE) {
302 lvaddr_t baddr = vaddr - X86_64_INIT_VBASE;
305 pml4_base = &init_pml4[X86_64_PML4_BASE(vaddr)];
307 X86_64_PDPT_BASE(vaddr)];
311 + X86_64_PDIR_BASE(vaddr)];
316 X86_64_PTABLE_SIZE + X86_64_PTABLE_BASE(vaddr)];
430 /* Map bootinfo R/W into VSpace at vaddr BOOTINFO_BASE */