dc8051_lock      6531 drivers/infiniband/hw/hfi1/chip.c 	lockdep_assert_held(&dd->dc8051_lock);
dc8051_lock      6549 drivers/infiniband/hw/hfi1/chip.c 	mutex_lock(&dd->dc8051_lock);
dc8051_lock      6551 drivers/infiniband/hw/hfi1/chip.c 	mutex_unlock(&dd->dc8051_lock);
dc8051_lock      6562 drivers/infiniband/hw/hfi1/chip.c 	lockdep_assert_held(&dd->dc8051_lock);
dc8051_lock      6583 drivers/infiniband/hw/hfi1/chip.c 	mutex_lock(&dd->dc8051_lock);
dc8051_lock      6585 drivers/infiniband/hw/hfi1/chip.c 	mutex_unlock(&dd->dc8051_lock);
dc8051_lock      8681 drivers/infiniband/hw/hfi1/chip.c 	mutex_lock(&dd->dc8051_lock);
dc8051_lock      8789 drivers/infiniband/hw/hfi1/chip.c 	mutex_unlock(&dd->dc8051_lock);
dc8051_lock      1182 drivers/infiniband/hw/hfi1/hfi.h 	struct mutex dc8051_lock; /* exclusive access to 8051 */
dc8051_lock      1318 drivers/infiniband/hw/hfi1/init.c 	mutex_init(&dd->dc8051_lock);