CKSEG1ADDR_OR_64BIT - Linux

Symbol: CKSEG1ADDR_OR_64BIT

arch/mips/kernel/smp-cps.c

cps_vec = (void *)CKSEG1ADDR_OR_64BIT(cps_vec_pa);

arch/mips/kernel/traps.c

unsigned long uncached_ebase = CKSEG1ADDR_OR_64BIT(__pa(ebase));