#include <sys/verified_exec.h>void
veriexec_init(void);
bool
veriexec_lookup(struct vnode *vp);
int
veriexec_verify(struct lwp *l, struct vnode *vp, const u_char *name, int flag, bool *found);
void
veriexec_purge(struct vnode *vp);
int
veriexec_fpops_add(const char *fp_type, size_t hash_len, size_t ctx_size, veriexec_fpop_init_t init, veriexec_fpop_update_t update, veriexec_fpop_final_t final);
int
veriexec_file_add(struct lwp *l, prop_dictionary_t dict);
int
veriexec_file_delete(struct lwp *l, struct vnode *vp);
int
veriexec_table_delete(struct lwp *l, struct mount *mp);
int
veriexec_flush(struct lwp *l);
int
veriexec_openchk(struct lwp *l, struct vnode *vp, const char *path, int fmode);
int
veriexec_renamechk(struct lwp *l, struct vnode *fromvp, const char *fromname, struct vnode *tovp, const char *toname);
int
veriexec_removechk(struct lwp *l, struct vnode *vp, const char *name);
int
veriexec_unmountchk(struct mount *mp);
int
veriexec_convert(struct vnode *vp, prop_dictionary_t rdict);
int
veriexec_dump(struct lwp *l, prop_array_t rarray);