275 } kd_buf;  typedef
281 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
286 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
291 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
296 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
301 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()
311 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
317 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
322 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
327 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
332 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()