Searched refs:kdbg_set_timestamp (Results 1 – 1 of 1) sorted by relevance
290 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime) in kdbg_set_timestamp() function302 kdbg_set_timestamp(kp, thetime); in kdbg_set_timestamp_and_cpu()321 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime) in kdbg_set_timestamp() function