CIU3_DEST_PP_INT 2581 arch/mips/cavium-octeon/octeon-irq.c 	dest_pp_int.u64 = cvmx_read_csr(ciu3_addr + CIU3_DEST_PP_INT(3 * cvmx_get_local_core_num()));
CIU3_DEST_PP_INT 2645 arch/mips/cavium-octeon/octeon-irq.c 	dest_pp_int.u64 = cvmx_read_csr(ciu3_addr + CIU3_DEST_PP_INT(1 + 3 * core));