Symbol: veriexec_fpops_add
sys/kern/kern_veriexec.c
362
veriexec_fpops_add(a, b, c, \
sys/sys/verified_exec.h
89
int veriexec_fpops_add(const char *, size_t, size_t, veriexec_fpop_init_t,