274 } kd_buf;  typedef
280 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
285 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
290 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
295 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
300 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()
310 kdbg_set_cpu(kd_buf *kp, int cpu)  in kdbg_set_cpu()
316 kdbg_get_cpu(kd_buf *kp)  in kdbg_get_cpu()
321 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)  in kdbg_set_timestamp()
326 kdbg_get_timestamp(kd_buf *kp)  in kdbg_get_timestamp()
331 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)  in kdbg_set_timestamp_and_cpu()