Lines Matching defs:kd_buf
583 } kd_buf;
590 kdbg_set_cpu(kd_buf *kp, int cpu)
596 kdbg_get_cpu(kd_buf *kp)
601 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
606 kdbg_get_timestamp(kd_buf *kp)
611 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
619 kdbg_set_cpu(kd_buf *kp, int cpu)
624 kdbg_get_cpu(kd_buf *kp)
629 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
634 kdbg_get_timestamp(kd_buf *kp)
639 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)