CTL_PTEADDR
WRCTL(CTL_PTEADDR, (addr >> PAGE_SHIFT) << 2);
pteaddr = RDCTL(CTL_PTEADDR);
WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));
WRCTL(CTL_PTEADDR, line << 2);
pteaddr = RDCTL(CTL_PTEADDR);
WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));
WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));
WRCTL(CTL_PTEADDR, (addr >> PAGE_SHIFT) << 2);
pteaddr = RDCTL(CTL_PTEADDR);
WRCTL(CTL_PTEADDR, pteaddr_invalid(addr));