EFX_DWORD_FMT    2277 drivers/net/ethernet/sfc/ef10.c 		   "IRQ %d on CPU %d status " EFX_DWORD_FMT "\n",
EFX_DWORD_FMT    1581 drivers/net/ethernet/sfc/farch.c 			   "IRQ %d on CPU %d status " EFX_DWORD_FMT "\n",
EFX_DWORD_FMT     149 drivers/net/ethernet/sfc/io.h 		   "writing register %x with "EFX_DWORD_FMT"\n",
EFX_DWORD_FMT     201 drivers/net/ethernet/sfc/io.h 		   "read from register %x, got "EFX_DWORD_FMT"\n",