CKSEG0ADDR
bm = (memmap *)CKSEG0ADDR(0x28000);
u32 *argv = (u32 *)CKSEG0ADDR(fw_arg1);
strcat(arcs_cmdline, (char *)CKSEG0ADDR(argv[i]));
#define CKSEG0ADDR_OR_64BIT(x) CKSEG0ADDR(x)
ebase = CKSEG0ADDR(ebase_pa);
cache_op(Index_Store_Tag_T, CKSEG0ADDR(i));
cache_op(Index_Store_Tag_SD, CKSEG0ADDR(i));
unsigned long start = CKSEG0ADDR(0);