Searched refs:CKSEG0ADDR (Results 1 – 5 of 5) sorted by relevance
30 return CKSEG0ADDR(256 << 20); in board_get_usable_ram_top()33 return min_t(unsigned long, gd->ram_top, CKSEG0ADDR(256 << 20)); in board_get_usable_ram_top()
70 #define CKSEG0ADDR(a) (CPHYSADDR(a) | CKSEG0) macro77 #define CKSEG0ADDR(a) (CPHYSADDR(a) | KSEG0) macro
502 return (void *)CKSEG0ADDR(paddr); in map_physmem()
245 addr = (void *)CKSEG0ADDR(0x2000); in ddr_tap_tuning()280 addr_k0 = (void *)CKSEG0ADDR(0x2000); in ddr_tap_tuning()281 addr = (void *)CKSEG0ADDR(0x3000); in ddr_tap_tuning()
405 pic32_flash_bank_init(info, CKSEG0ADDR(addr), size); in pic32_flash_probe()