ef4_readd 428 drivers/net/ethernet/sfc/falcon/falcon.c ef4_readd(efx, ®, FR_AA_WORK_AROUND_BROKEN_PCI_READS); ef4_readd 1513 drivers/net/ethernet/sfc/falcon/farch.c ef4_readd(efx, ®, FR_BZ_INT_ISR0); ef4_readd 413 drivers/net/ethernet/sfc/falcon/nic.c ef4_readd(efx, buf, table->offset + 4 * i);