Searched refs:cpu (Results 1 – 3 of 3) sorted by relevance
46 lock->cpu = 0; in Spinlock_Init()83 if (lock->type == SPINLOCK_TYPE_RECURSIVE && lock->cpu == CPU()) { in Spinlock_Lock()93 lock->cpu = CPU(); in Spinlock_Lock()111 ASSERT(lock->cpu == CPU()); in Spinlock_Unlock()117 lock->cpu = 0; in Spinlock_Unlock()128 return (lock->cpu == CPU()) && (lock->lock == 1); in Spinlock_IsHeld()142 lock->lock, lock->cpu, lock->count, in Debug_Spinlocks()
18 uint64_t cpu; member
252 REGISTER_DBGCMD(cpu, "Current CPU number", Debug_CPU);