mac_veriexec_in_state
if (mac_veriexec_in_state(VERIEXEC_STATE_LOADED))
if (mac_veriexec_in_state(VERIEXEC_STATE_LOADED))
!mac_veriexec_in_state(VERIEXEC_STATE_LOADED)) {
if (mac_veriexec_in_state(VERIEXEC_STATE_LOCKED))
int mac_veriexec_in_state(int state);
if (!mac_veriexec_in_state(VERIEXEC_STATE_ACTIVE))
mac_veriexec_in_state(VERIEXEC_STATE_ENFORCE))
mac_veriexec_in_state(VERIEXEC_STATE_ENFORCE))
mac_veriexec_in_state(VERIEXEC_STATE_ENFORCE))
mac_veriexec_in_state(VERIEXEC_STATE_ENFORCE))
mac_veriexec_in_state(VERIEXEC_STATE_ENFORCE))