cpu2core          132 drivers/watchdog/octeon-wdt-main.c 	unsigned int core = cpu2core(cpu);
cpu2core          305 drivers/watchdog/octeon-wdt-main.c 	coreid = cpu2core(cpu);
cpu2core          328 drivers/watchdog/octeon-wdt-main.c 	core = cpu2core(cpu);
cpu2core          352 drivers/watchdog/octeon-wdt-main.c 	core = cpu2core(cpu);
cpu2core          412 drivers/watchdog/octeon-wdt-main.c 		coreid = cpu2core(cpu);
cpu2core          469 drivers/watchdog/octeon-wdt-main.c 		coreid = cpu2core(cpu);