Lines Matching defs:kp
844 kdbg_set_cpu(kd_buf *kp, int cpu)
846 kp->timestamp = (kp->timestamp & KDBG_TIMESTAMP_MASK) |
850 kdbg_get_cpu(kd_buf *kp)
852 return (int) (((kp)->timestamp & KDBG_CPU_MASK) >> KDBG_CPU_SHIFT);
855 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
857 kp->timestamp = thetime & KDBG_TIMESTAMP_MASK;
860 kdbg_get_timestamp(kd_buf *kp)
862 return kp->timestamp & KDBG_TIMESTAMP_MASK;
865 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
867 kp->timestamp = (thetime & KDBG_TIMESTAMP_MASK) |
873 kdbg_set_cpu(kd_buf *kp, int cpu)
875 kp->cpuid = cpu;
878 kdbg_get_cpu(kd_buf *kp)
880 return kp->cpuid;
883 kdbg_set_timestamp(kd_buf *kp, uint64_t thetime)
885 kp->timestamp = thetime;
888 kdbg_get_timestamp(kd_buf *kp)
890 return kp->timestamp;
893 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
895 kdbg_set_timestamp(kp, thetime);
896 kdbg_set_cpu(kp, cpu);