efx_paged_reg
reg = efx_paged_reg(efx, page, reg);
efx_writed(efx, value, efx_paged_reg(efx, page, reg));
reg = efx_paged_reg(efx, page, reg);
efx_writed(efx, value, efx_paged_reg(efx, page, reg));
efx_writed(efx, value, efx_paged_reg(efx, page, reg));
efx_writed(efx, value, efx_paged_reg(efx, page, reg));