Symbol: mac_veriexec_get_state
sys/dev/veriexec/verified_exec.c
83
*ip = mac_veriexec_get_state();
sys/security/mac_veriexec/mac_veriexec_internal.h
101
int mac_veriexec_get_state(void);