arch/alpha/vtophys.cc

49 kernel_pte_lookup(PortProxy &mem, Addr ptbr, VAddr vaddr)
51     Addr level1_pte = ptbr + vaddr.level1();
54         DPRINTF(VtoPhys, "level 1 PTE not valid, va = %#\n", vaddr);
58     Addr level2_pte = level1.paddr() + vaddr.level2();
61         DPRINTF(VtoPhys, "level 2 PTE not valid, va = %#x\n", vaddr);
65     Addr level3_pte = level2.paddr() + vaddr.level3();
68         DPRINTF(VtoPhys, "level 3 PTE not valid, va = %#x\n", vaddr);
75 vtophys(Addr vaddr)
78     if (IsUSeg(vaddr))
79         DPRINTF(VtoPhys, "vtophys: invalid vaddr %#x", vaddr);
80     else if (IsK0Seg(vaddr))
81         paddr = K0Seg2Phys(vaddr);
85     DPRINTF(VtoPhys, "vtophys(%#x) -> %#x\n", vaddr, paddr);
93     VAddr vaddr = addr;
98     if (PcPAL(vaddr) && (vaddr < PalMax)) {
99         paddr = vaddr & ~ULL(1);
101         if (IsK0Seg(vaddr)) {
102             paddr = K0Seg2Phys(vaddr);
104             paddr = vaddr;
107                 kernel_pte_lookup(tc->getPhysProxy(), ptbr, vaddr);
109                 paddr = pte.paddr() | vaddr.offset();
114     DPRINTF(VtoPhys, "vtophys(%#x) -> %#x\n", vaddr, paddr);