efx_paged_reg     234 drivers/net/ethernet/sfc/io.h 	reg = efx_paged_reg(efx, page, reg);
efx_paged_reg     263 drivers/net/ethernet/sfc/io.h 	efx_writed(efx, value, efx_paged_reg(efx, page, reg));
efx_paged_reg     289 drivers/net/ethernet/sfc/io.h 		efx_writed(efx, value, efx_paged_reg(efx, page, reg));
efx_paged_reg     292 drivers/net/ethernet/sfc/io.h 		efx_writed(efx, value, efx_paged_reg(efx, page, reg));