233 static int core2cpu(int coreid)  in core2cpu()  argument
236 	return cpu_number_map(coreid);  in core2cpu()
330 	unsigned int coreid = cvmx_get_core_num();  in octeon_wdt_nmi_stage3()  local
341 	__delay(100000000ull * coreid);  in octeon_wdt_nmi_stage3()
344 	octeon_wdt_write_hex(coreid, 1);  in octeon_wdt_nmi_stage3()
368 	octeon_wdt_write_hex(cvmx_read_csr(CVMX_CIU_INTX_SUM0(coreid * 2)), 16);  in octeon_wdt_nmi_stage3()
370 	octeon_wdt_write_hex(cvmx_read_csr(CVMX_CIU_INTX_EN0(coreid * 2)), 16);  in octeon_wdt_nmi_stage3()
450 	int coreid;  in octeon_wdt_ping()  local
453 		coreid = cpu2core(cpu);  in octeon_wdt_ping()
454 		cvmx_write_csr(CVMX_CIU_PP_POKEX(coreid), 1);  in octeon_wdt_ping()
459 			int irq = OCTEON_IRQ_WDOG0 + coreid;  in octeon_wdt_ping()
495 	int coreid;  in octeon_wdt_set_heartbeat()  local
504 		coreid = cpu2core(cpu);  in octeon_wdt_set_heartbeat()
505 		cvmx_write_csr(CVMX_CIU_PP_POKEX(coreid), 1);  in octeon_wdt_set_heartbeat()
509 		cvmx_write_csr(CVMX_CIU_WDOGX(coreid), ciu_wdog.u64);  in octeon_wdt_set_heartbeat()
510 		cvmx_write_csr(CVMX_CIU_PP_POKEX(coreid), 1);  in octeon_wdt_set_heartbeat()