Lines Matching defs:kp
725 kdbg_set_cpu(kd_buf *kp, int cpu)
727 kp->timestamp = (kp->timestamp & KDBG_TIMESTAMP_MASK) |
731 kdbg_get_cpu(kd_buf *kp)
733 return (int) (((kp)->timestamp & KDBG_CPU_MASK) >> KDBG_CPU_SHIFT);
736 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
738 kp->timestamp = thetime & KDBG_TIMESTAMP_MASK;
741 kdbg_get_timestamp(kd_buf *kp)
743 return kp->timestamp & KDBG_TIMESTAMP_MASK;
746 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
748 kp->timestamp = (thetime & KDBG_TIMESTAMP_MASK) |
754 kdbg_set_cpu(kd_buf *kp, int cpu)
756 kp->cpuid = cpu;
759 kdbg_get_cpu(kd_buf *kp)
761 return kp->cpuid;
764 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
766 kp->timestamp = thetime;
769 kdbg_get_timestamp(kd_buf *kp)
771 return kp->timestamp;
774 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
776 kdbg_set_timestamp(kp, thetime);
777 kdbg_set_cpu(kp, cpu);