cp0_error_epc     218 drivers/watchdog/octeon-wdt-main.c 	u64 cp0_error_epc = read_c0_errorepc();
cp0_error_epc     236 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_write_hex(cp0_error_epc, 16);