Lines Matching refs:CTL_PTEADDR
53 WRCTL(CTL_PTEADDR, (addr >> PAGE_SHIFT) << 2);
63 pteaddr = RDCTL(CTL_PTEADDR);
76 WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));
134 WRCTL(CTL_PTEADDR, (addr >> PAGE_SHIFT) << 2);
143 pteaddr = RDCTL(CTL_PTEADDR);
152 WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));
178 WRCTL(CTL_PTEADDR, line << 2);
186 pteaddr = RDCTL(CTL_PTEADDR);
227 WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));
281 WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));