FBNIC_PTP_CTR_VAL_HI
hi = fbnic_rd32(fbd, FBNIC_PTP_CTR_VAL_HI);
} while (hi != fbnic_rd32(fbd, FBNIC_PTP_CTR_VAL_HI));
hi = fbnic_rd32(fbd, FBNIC_PTP_CTR_VAL_HI);
} while (hi != fbnic_rd32(fbd, FBNIC_PTP_CTR_VAL_HI));
hi = fbnic_rd32(fbn->fbd, FBNIC_PTP_CTR_VAL_HI);