octeon_wdt_nmi_stage2  110 drivers/watchdog/octeon-wdt-main.c void octeon_wdt_nmi_stage2(void);
octeon_wdt_nmi_stage2  355 drivers/watchdog/octeon-wdt-main.c 	octeon_wdt_bootvector[core].target_ptr = (u64)octeon_wdt_nmi_stage2;