Symbol: veriexec_check_pid_label
lib/libveriexec/libveriexec.h
42
int veriexec_check_pid_label(pid_t, const char *);
lib/libveriexec/veriexec_get.c
307
error = veriexec_check_pid_label(pid, want);