Searched refs:kernel_timestamp (Results 1 – 1 of 1) sorted by relevance
2643 kernel_timestamp = DUAL_TIMESTAMP_NULL, in main() local2666 dual_timestamp_from_monotonic(&kernel_timestamp, 0); in main()2765 kernel_timestamp = DUAL_TIMESTAMP_NULL; in main()2809 kernel_timestamp = DUAL_TIMESTAMP_NULL; in main()2914 m->timestamps[MANAGER_TIMESTAMP_KERNEL] = kernel_timestamp; in main()