Lines Matching defs:cpu
547 void release_storage_unit(int cpu, uint32_t storage_unit);
548 int allocate_storage_unit(int cpu);
590 kdbg_set_cpu(kd_buf *kp, int cpu)
593 (((uint64_t) cpu) << KDBG_CPU_SHIFT);
611 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
614 (((uint64_t) cpu) << KDBG_CPU_SHIFT);
619 kdbg_set_cpu(kd_buf *kp, int cpu)
621 kp->cpuid = cpu;
639 kdbg_set_timestamp_and_cpu(kd_buf *kp, uint64_t thetime, int cpu)
642 kdbg_set_cpu(kp, cpu);