PHYS_TO_XKSEG_UNCACHED
*(unsigned long *)PHYS_TO_XKSEG_UNCACHED(0x60000000) = 0;
PHYS_TO_XKSEG_UNCACHED(pte);