gve_rx_get_hwtstamp
gve_rx_get_hwtstamp(rx->gve, le32_to_cpu(desc->ts));
*timestamp = gve_rx_get_hwtstamp(ctx->gve,