idpf_ptp_tstamp_extend_32b_to_64b
return idpf_ptp_tstamp_extend_32b_to_64b(ptp->cached_phc_time,
u64 idpf_ptp_tstamp_extend_32b_to_64b(u64 cached_phc_time, u32 in_timestamp);
ts_ns = idpf_ptp_tstamp_extend_32b_to_64b(cached_time, ts_high);
ts_ns = idpf_ptp_tstamp_extend_32b_to_64b(cached_time, ts_high);