mpl_cpu 37 sys/mplock.h cpuid_t mpl_cpu;
mpl_cpu 60 sys/mplock.h lock->mpl_cpu = LK_NOCPU;
mpl_cpu 82 sys/mplock.h if (lock->mpl_cpu != cpu_number()) {
mpl_cpu 104 sys/mplock.h lock->mpl_cpu = cpu_number();
mpl_cpu 119 sys/mplock.h if (lock->mpl_cpu != cpu_number()) {
mpl_cpu 121 sys/mplock.h *cpu = lock->mpl_cpu;
mpl_cpu 125 sys/mplock.h lock->mpl_cpu = cpu_number();
mpl_cpu 138 sys/mplock.h if (lock->mpl_count == 0 || lock->mpl_cpu == LK_NOCPU) {
mpl_cpu 146 sys/mplock.h lock->mpl_cpu = LK_NOCPU;
mpl_cpu 158 sys/mplock.h if (lock->mpl_count == 0 || lock->mpl_cpu == LK_NOCPU) {
mpl_cpu 166 sys/mplock.h lock->mpl_cpu = LK_NOCPU;
mpl_cpu 179 sys/mplock.h if (lock->mpl_count == 0 || lock->mpl_cpu == LK_NOCPU) {
mpl_cpu 203 sys/mplock.h return lock->mpl_count && lock->mpl_cpu == cpu_number();