witness_cpu
lock_list = &witness_cpu[cpu_number()].wc_spinlocks;
lock_list = &witness_cpu[cpu_number()].wc_spinlocks;
lock_list = witness_cpu[cpu_number()].wc_spinlocks;
struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
witness_cpu[owner->p_cpu->ci_cpuid].wc_spinlocks, lock);
witness_cpu[cpu_number()].wc_spinlocks, lock);
lock_list = witness_cpu[cpu_number()].wc_spinlocks;
struct witness_cpu *wc = &witness_cpu[cpu_number()];
lock_list = witness_cpu[CPU_INFO_UNIT(ci)].wc_spinlocks;
struct witness_cpu witness_cpu[MAXCPUS];
lock_list = witness_cpu[cpu_number()].wc_spinlocks;
lock_list = witness_cpu[cpu_number()].wc_spinlocks;