WD_BLOCK_NUMBER   313 drivers/watchdog/octeon-wdt-main.c 						     WD_BLOCK_NUMBER);
WD_BLOCK_NUMBER   314 drivers/watchdog/octeon-wdt-main.c 		hwirq = WD_BLOCK_NUMBER << 12 | 0x200 | coreid;
WD_BLOCK_NUMBER   365 drivers/watchdog/octeon-wdt-main.c 		domain = octeon_irq_get_block_domain(node, WD_BLOCK_NUMBER);
WD_BLOCK_NUMBER   368 drivers/watchdog/octeon-wdt-main.c 		hwirq = WD_BLOCK_NUMBER << 12 | 0x200 | core;