Symbol: veriexec_init
sys/kern/init_main.c
593
veriexec_init();
sys/sys/verified_exec.h
88
void veriexec_init(void);