rw_downgrade
rw_downgrade(&vfe->lock);
rw_downgrade(&vfe->lock);
rw_downgrade(&veriexec_op_lock);
rw_downgrade(&vfe->lock);
rw_downgrade(&vip->vi_lock);
rw_downgrade(&vip->vi_lock);
#define LLE_DOWNGRADE(lle) rw_downgrade(&(lle)->lle_lock)
void rw_downgrade(krwlock_t *);