veriexecctl.h revision 1.3 1 /* $NetBSD: veriexecctl.h,v 1.3 2005/04/21 12:45:12 christos Exp $ */
2
3 /*-
4 * Copyright 2005 Elad Efrat <elad (at) bsd.org.il>
5 * Copyright 2005 Brett Lymn <blymn (at) netbsd.org>
6 *
7 * All rights reserved.
8 *
9 * This code has been donated to The NetBSD Foundation by the Author.
10 *
11 * Redistribution and use in source and binary forms, with or without
12 * modification, are permitted provided that the following conditions
13 * are met:
14 * 1. Redistributions of source code must retain the above copyright
15 * notice, this list of conditions and the following disclaimer.
16 * 2. The name of the author may not be used to endorse or promote products
17 * derived from this software withough specific prior written permission
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29 *
30 *
31 */
32
33 #ifndef _VERIEXECCTL_H_
34 #define _VERIEXECCTL_H_
35
36 CIRCLEQ_HEAD(vexec_ups, vexec_up) params_list;
37 struct vexec_up {
38 struct veriexec_sizing_params vu_param;
39 CIRCLEQ_ENTRY(vexec_up) vu_list;
40 };
41
42 extern int gfd, no_mem, phase, verbose;
43 extern size_t line;
44 extern char *infile;
45 extern FILE *yyin;
46
47 int yywrap(void);
48 int yylex(void);
49 int yyparse(void);
50 void yyerror(const char *);
51 struct vexec_up *dev_lookup(dev_t);
52 struct vexec_up *dev_add(dev_t);
53 void phase2_load(void);
54
55 #endif /* _VERIEXECCTL_H_ */
56