Searched refs:KSEG0ADDR (Results 1 – 4 of 4) sorted by relevance
33 initrd_start = KSEG0ADDR(initrd_start); in prom_init()
234 __dt_setup_arch((void *)KSEG0ADDR(fdt_start)); in plat_mem_setup()236 __dt_setup_arch((void *)KSEG0ADDR(fw_passed_dtb)); in plat_mem_setup()
88 #define KSEG0ADDR(a) (CPHYSADDR(a) | KSEG0) macro
240 unsigned long kaddr = KSEG0ADDR(pfn << PAGE_SHIFT); in r3k_flush_cache_page()