Lines Matching defs:vaddr
107 lvaddr_t vaddr, vbase = local_phys_to_mem(base);
124 for(vaddr = vbase, addr = base; vaddr < vbase + size;
125 vaddr += X86_64_MEM_PAGE_SIZE, addr += X86_64_MEM_PAGE_SIZE) {
127 &pml4[X86_64_PML4_BASE(vaddr)],
128 *pdpt_base = &mem_pdpt[X86_64_PML4_BASE(addr)][X86_64_PDPT_BASE(vaddr)];
130 &mem_pdir[X86_64_PML4_BASE(addr)][X86_64_PDPT_BASE(addr)][X86_64_PDIR_BASE(vaddr)];
132 debug(SUBSYS_PAGING, "Mapping 2M page: vaddr = 0x%"PRIxLVADDR"x, addr = 0x%lx, "
133 "PML4_BASE = %lu, PDPT_BASE = %lu, PDIR_BASE = %lu -- ", vaddr,
134 addr, X86_64_PML4_BASE(vaddr), X86_64_PDPT_BASE(vaddr),
135 X86_64_PDIR_BASE(vaddr));