_efx_writeq 112 drivers/net/ethernet/sfc/io.h _efx_writeq(efx, value->u64[0], reg + 0); _efx_writeq 113 drivers/net/ethernet/sfc/io.h _efx_writeq(efx, value->u64[1], reg + 8); _efx_writeq 241 drivers/net/ethernet/sfc/io.h _efx_writeq(efx, value->u64[0], reg + 0); _efx_writeq 242 drivers/net/ethernet/sfc/io.h _efx_writeq(efx, value->u64[1], reg + 8);