Searched refs:fw_time_high (Results 1 – 1 of 1) sorted by relevance
1939 uint64_t fw_time_high; in hal_tsf_get_fw_time() local1942 fw_time_high = hal_read32_mb(soc, PCIE_PCIE_MHI_TIME_HIGH); in hal_tsf_get_fw_time()1943 return (fw_time_high << 32 | fw_time_low); in hal_tsf_get_fw_time()