px_dma
const u64 daddr = px_dma(&ppgtt->pml4);
GEN6_PDE_ADDR_ENCODE(px_dma(pt)) |
iowrite32(GEN6_PDE_ADDR_ENCODE(px_dma(pt)) | GEN6_PDE_VALID,
gen8_pde_encode(px_dma(vm->scratch_pt), I915_CACHE_LLC));
scratch_pdpe = gen8_pdpe_encode(px_dma(vm->scratch_pd), I915_CACHE_LLC);
gen8_pml4e_encode(px_dma(vm->scratch_pdp), I915_CACHE_LLC));
vaddr[pde] = gen8_pde_encode(px_dma(pt), I915_CACHE_LLC);
vaddr[pdpe] = gen8_pdpe_encode(px_dma(pd), I915_CACHE_LLC);
vaddr[pml4e] = gen8_pml4e_encode(px_dma(pdp), I915_CACHE_LLC);
return px_dma(ppgtt->pdp.page_directory[n]);
const u64 addr__ = px_dma(&ppgtt->pml4); \