free_veriexec_dev
error = free_veriexec_dev(fsid, &veriexec_dev_head);
error = free_veriexec_dev(fsid, &veriexec_file_dev_head);