322 } kd_buf;  typedef
327 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
332 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
337 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
342 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
347 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()
357 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
363 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
368 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
373 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
378 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()