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