KSEG0ADDR
dma_cache_wback_inv(KSEG0ADDR(buf), nbytes);
dma_cache_inv(KSEG0ADDR(buf), nbytes);
initrd_start = KSEG0ADDR(initrd_start);
__dt_setup_arch((void *)KSEG0ADDR(dtb));
unsigned long kaddr = KSEG0ADDR(pfn << PAGE_SHIFT);