Lines Matching refs:veriexec_op_lock
131 static krwlock_t veriexec_op_lock;
354 rw_init(&veriexec_op_lock);
564 * 'veriexec_op_lock' must be locked (and remains locked).
576 KASSERT(rw_lock_held(&veriexec_op_lock));
701 rw_enter(&veriexec_op_lock, RW_READER);
704 rw_exit(&veriexec_op_lock);
727 rw_enter(&veriexec_op_lock, RW_READER);
729 rw_exit(&veriexec_op_lock);
767 rw_enter(&veriexec_op_lock, RW_READER);
773 rw_exit(&veriexec_op_lock);
783 rw_exit(&veriexec_op_lock);
794 rw_exit(&veriexec_op_lock);
811 VERIEXEC_RW_UPGRADE(&veriexec_op_lock);
823 rw_downgrade(&veriexec_op_lock);
832 rw_exit(&veriexec_op_lock);
888 rw_enter(&veriexec_op_lock, RW_READER);
890 rw_exit(&veriexec_op_lock);
970 rw_enter(&veriexec_op_lock, RW_WRITER);
973 rw_exit(&veriexec_op_lock);
1090 rw_enter(&veriexec_op_lock, RW_WRITER);
1161 rw_exit(&veriexec_op_lock);
1199 rw_enter(&veriexec_op_lock, RW_WRITER);
1201 rw_exit(&veriexec_op_lock);
1232 rw_enter(&veriexec_op_lock, RW_READER);
1236 rw_exit(&veriexec_op_lock);
1244 rw_exit(&veriexec_op_lock);
1257 rw_enter(&veriexec_op_lock, RW_READER);
1296 rw_exit(&veriexec_op_lock);
1324 rw_enter(&veriexec_op_lock, RW_READER);
1329 rw_exit(&veriexec_op_lock);
1347 rw_exit(&veriexec_op_lock);