Symbol: veriexec_dump
sys/dev/veriexec.c
242
error = veriexec_dump(l, rarray);
sys/sys/verified_exec.h
102
int veriexec_dump(struct lwp *, prop_array_t);