Symbol: WX_TSC_1588_SYSTIMH
drivers/net/ethernet/wangxun/libwx/wx_ptp.c
51
timeh1 = rd32ptp(wx, WX_TSC_1588_SYSTIMH);
drivers/net/ethernet/wangxun/libwx/wx_ptp.c
55
timeh2 = rd32ptp(wx, WX_TSC_1588_SYSTIMH);
drivers/net/ethernet/wangxun/libwx/wx_ptp.c
760
wr32ptp(wx, WX_TSC_1588_SYSTIMH, 0);