Searched refs:ECM_SYSTEM_TIME_HIGH (Results 1 – 3 of 3) sorted by relevance
13 high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in tsnep_get_system_time()17 high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in tsnep_get_system_time()120 iowrite32(system_time >> 32, adapter->addr + ECM_SYSTEM_TIME_HIGH); in tsnep_ptp_adjtime()141 high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in tsnep_ptp_gettimex64()147 high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in tsnep_ptp_gettimex64()169 iowrite32(system_time >> 32, adapter->addr + ECM_SYSTEM_TIME_HIGH); in tsnep_ptp_settime64()
23 #define ECM_SYSTEM_TIME_HIGH 0x000C macro
178 time_high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in get_gate_state()187 time_high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in get_gate_state()