270 } kd_buf;  typedef
276 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
281 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
286 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
291 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
296 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()
306 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
312 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
317 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
322 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
327 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()