2 * Copyright (c) 1997-1998 University of Utah and the Flux Group.
5 * This file is part of the Flux OSKit. The OSKit is free software, also known
6 * as "open source;" you can redistribute it and/or modify it under the terms
7 * of the GNU General Public License (GPL), version 2, as published by the Free
8 * Software Foundation (FSF). To explore alternate licensing terms, contact
9 * the University of Utah at csl-dist@cs.utah.edu or +1-801-585-3271.
11 * The OSKit is distributed in the hope that it will be useful, but WITHOUT ANY
12 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
13 * FOR A PARTICULAR PURPOSE. See the GPL for more details. You should have
14 * received a copy of the GPL along with the OSKit; see the file COPYING. If
15 * not, write to the FSF, 59 Temple Place #330, Boston, MA 02111-1307, USA.
18 * here's vm.h's primary purpose in life:
20 * define `vm_map_t' for the first arg to kmem_alloc()
25 typedef void *vm_map_t
;
27 #include <vm/vm_param.h>
30 * XXX This is used by syscons to compute the address of the video buffer.
31 * This definition means the driver will only work when kva == pa.
32 * The real solution would be to modify the driver to map the buffer explicitly.
34 #define vtophys(va) va
37 * ip_icmp.c and possibly other files rely on vm/vm.h to get sys/proc ...
40 #include <sys/queue.h>
42 #endif /* _FAKE_VM_H */