CKSEG0ADDR_OR_64BIT - Linux

Symbol: CKSEG0ADDR_OR_64BIT

arch/mips/kernel/smp-cps.c

blast_inv_dcache_range(CKSEG0ADDR_OR_64BIT(cps_vec_pa), CKSEG0ADDR_OR_64BIT(cps_vec_pa) + BEV_VEC_SIZE);

arch/mips/kernel/smp-cps.c

bc_inv(CKSEG0ADDR_OR_64BIT(cps_vec_pa), BEV_VEC_SIZE);