Symbol: VERIEXEC_RW_UPGRADE
sys/kern/kern_veriexec.c
816
VERIEXEC_RW_UPGRADE(&veriexec_op_lock);
sys/kern/kern_veriexec.c
871
VERIEXEC_RW_UPGRADE(&vfe->lock);