osfmk/i386/mp.c

801 	simple_lock(&mp_rv_lock);
817 	simple_lock(&x86_topo_lock);
907 	simple_lock(&cqp->lock);
1278    simple_lock(&x86_topo_lock);
1309 	simple_lock(&x86_topo_lock);
1329 	simple_lock(&x86_topo_lock);
1396 	simple_lock(&mp_kdp_lock);
1407 		simple_lock(&mp_kdp_lock);
1659 	simple_lock(&cpu_warm_lock);
1675 	simple_lock(&cpu_warm_lock);