octeon_wdt_write_string  224 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\r\n*** NMI Watchdog interrupt on Core 0x");
octeon_wdt_write_string  226 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string(" ***\r\n");
octeon_wdt_write_string  228 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\t");
octeon_wdt_write_string  229 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string(reg_name[i]);
octeon_wdt_write_string  230 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\t0x");
octeon_wdt_write_string  233 drivers/watchdog/octeon-wdt-main.c 			octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  235 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\terr_epc\t0x");
octeon_wdt_write_string  238 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\tepc\t0x");
octeon_wdt_write_string  240 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  242 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\tstatus\t0x");
octeon_wdt_write_string  244 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\tcause\t0x");
octeon_wdt_write_string  246 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  250 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\tsrc_wd\t0x");
octeon_wdt_write_string  252 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\ten_wd\t0x");
octeon_wdt_write_string  254 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  255 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\tsrc_rml\t0x");
octeon_wdt_write_string  257 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\ten_rml\t0x");
octeon_wdt_write_string  259 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  260 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\tsum\t0x");
octeon_wdt_write_string  262 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  264 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\tsum0\t0x");
octeon_wdt_write_string  266 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\ten0\t0x");
octeon_wdt_write_string  268 drivers/watchdog/octeon-wdt-main.c 		octeon_wdt_write_string("\r\n");
octeon_wdt_write_string  271 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_string("*** Chip soft reset soon ***\r\n");