Lines Matching refs:kp
590 kdbg_set_cpu(kd_buf *kp, int cpu)
592 kp->timestamp = (kp->timestamp & KDBG_TIMESTAMP_MASK) |
596 kdbg_get_cpu(kd_buf *kp)
598 return (int) (((kp)->timestamp & KDBG_CPU_MASK) >> KDBG_CPU_SHIFT);
601 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
603 kp->timestamp = thetime & KDBG_TIMESTAMP_MASK;
606 kdbg_get_timestamp(kd_buf *kp)
608 return kp->timestamp & KDBG_TIMESTAMP_MASK;
611 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
613 kp->timestamp = (thetime & KDBG_TIMESTAMP_MASK) |
619 kdbg_set_cpu(kd_buf *kp, int cpu)
621 kp->cpuid = cpu;
624 kdbg_get_cpu(kd_buf *kp)
626 return kp->cpuid;
629 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
631 kp->timestamp = thetime;
634 kdbg_get_timestamp(kd_buf *kp)
636 return kp->timestamp;
639 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
641 kdbg_set_timestamp(kp, thetime);
642 kdbg_set_cpu(kp, cpu);