108 	u64 system_time;  in tsnep_ptp_adjtime()  local
113 	tsnep_get_system_time(adapter, &system_time);  in tsnep_ptp_adjtime()
115 	system_time += delta;  in tsnep_ptp_adjtime()
120 	iowrite32(system_time >> 32, adapter->addr + ECM_SYSTEM_TIME_HIGH);  in tsnep_ptp_adjtime()
121 	iowrite32(system_time & 0xFFFFFFFF,  in tsnep_ptp_adjtime()
138 	u64 system_time;  in tsnep_ptp_gettimex64()  local
149 	system_time = (((u64)high) << 32) | ((u64)low);  in tsnep_ptp_gettimex64()
151 	*ts = ns_to_timespec64(system_time);  in tsnep_ptp_gettimex64()
161 	u64 system_time = timespec64_to_ns(ts);  in tsnep_ptp_settime64()  local
169 	iowrite32(system_time >> 32, adapter->addr + ECM_SYSTEM_TIME_HIGH);  in tsnep_ptp_settime64()
170 	iowrite32(system_time & 0xFFFFFFFF,  in tsnep_ptp_settime64()