Changeset View
Changeset View
Standalone View
Standalone View
sbin/veriexec/veriexec.h
Show All 25 Lines | |||||
*/ | */ | ||||
#ifndef __VERIEXEC_H__ | #ifndef __VERIEXEC_H__ | ||||
#define __VERIEXEC_H__ | #define __VERIEXEC_H__ | ||||
#include <sys/ioctl.h> | #include <sys/ioctl.h> | ||||
#include <dev/veriexec/veriexec_ioctl.h> | #include <dev/veriexec/veriexec_ioctl.h> | ||||
#include <stdio.h> | |||||
extern int dev_fd; | extern int dev_fd; | ||||
extern int parser_version; | extern int parser_version; | ||||
extern int ForceFlags; | extern int ForceFlags; | ||||
extern int Verbose; | extern int Verbose; | ||||
extern int VeriexecVersion; | extern int VeriexecVersion; | ||||
extern const char *Cdir; | extern const char *Cdir; | ||||
#define VERBOSE(n, x) if (Verbose > n) printf x | #define VERBOSE(n, x) if (Verbose > n) printf x | ||||
FILE * manifest_open (const char *file, const char *file_content); | FILE * manifest_open (const char *file, const char *file_content); | ||||
void manifest_parser_init(void); | void manifest_parser_init(void); | ||||
int yyparse(void); | int yyparse(void); | ||||
extern FILE *yyin; | extern FILE *yyin; | ||||
#endif | #endif |