EF4_DWORD_FMT    1572 drivers/net/ethernet/sfc/falcon/farch.c 			   "IRQ %d on CPU %d status " EF4_DWORD_FMT "\n",
EF4_DWORD_FMT     137 drivers/net/ethernet/sfc/falcon/io.h 		   "writing register %x with "EF4_DWORD_FMT"\n",
EF4_DWORD_FMT     189 drivers/net/ethernet/sfc/falcon/io.h 		   "read from register %x, got "EF4_DWORD_FMT"\n",