Searched refs:boot_time (Results 1 – 4 of 4) sorted by relevance
63 uint64_t boot_time = esp_time_impl_get_boot_time(); in adjust_boot_time() local64 if ((boot_time == 0) || (esp_time_impl_get_time_since_boot() < s_adjtime_start_us)) { in adjust_boot_time()78 boot_time = boot_time + s_adjtime_total_correction_us; in adjust_boot_time()82 boot_time -= correction; in adjust_boot_time()86 boot_time = boot_time + s_adjtime_total_correction_us; in adjust_boot_time()90 boot_time += correction; in adjust_boot_time()93 esp_time_impl_set_boot_time(boot_time); in adjust_boot_time()96 return boot_time; in adjust_boot_time()
91 lwip_init_tcp_isn(u32_t boot_time, const u8_t *secret_16_bytes) in lwip_init_tcp_isn() argument99 base_time = boot_time * 250000; in lwip_init_tcp_isn()
30 void lwip_init_tcp_isn(u32_t boot_time, const u8_t *secret_16_bytes);
556 uint64_t boot_time = esp_time_impl_get_boot_time(); in print_counters() local559 printf("\tBOOT %lld (us)\n", boot_time); in print_counters()
