GEN6_PTE_ADDR_ENCODE
vaddr[act_pte] = pte_encode | GEN6_PTE_ADDR_ENCODE(iter.dma);
pte |= GEN6_PTE_ADDR_ENCODE(addr);