273 } kd_buf;  typedef
279 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
284 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
289 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
294 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
299 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()
309 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
315 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
320 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
325 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
330 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()