2 * Copyright (c) 2006 The DragonFly Project. All rights reserved.
4 * This code is derived from software contributed to The DragonFly Project
5 * by Matthew Dillon <dillon@backplane.com>
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in
15 * the documentation and/or other materials provided with the
17 * 3. Neither the name of The DragonFly Project nor the names of its
18 * contributors may be used to endorse or promote products derived
19 * from this software without specific, prior written permission.
21 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
24 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
25 * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
27 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
28 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
29 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
30 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31 * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
34 * $DragonFly: src/sys/platform/vkernel/include/md_var.h,v 1.18 2007/03/16 13:41:40 swildner Exp $
37 #ifndef _MACHINE_MD_VAR_H_
38 #define _MACHINE_MD_VAR_H_
41 #include <sys/types.h>
43 #ifndef _SYS_VKERNEL_H_
44 #include <sys/vkernel.h>
47 #define VKNETIF_MAX 16
60 char fname[MAXPATHLEN];
63 extern char sigcode[];
65 extern vpte_t *KernelPTA; /* NOTE: Offset for direct VA translation */
66 extern vpte_t *KernelPTD;
67 extern vm_offset_t crashdumpmap;
70 extern char cpu_vendor[]; /* XXX belongs in i386 */
71 extern u_int cpu_id; /* XXX belongs in i386 */
73 extern struct vkdisk_info DiskInfo[VKDISK_MAX];
75 extern int MemImageFd;
77 extern struct vknetif_info NetifInfo[VKNETIF_MAX];
79 extern int _ucodesel, _udatasel;
83 vpte_t *pmap_kpte(vm_offset_t va);
84 void cpu_gdinit (struct mdglobaldata *gd, int cpu);
86 void cpu_heavy_restore(void); /* cannot be called from C */
87 void cpu_lwkt_restore(void); /* cannot be called from C */
88 void cpu_idle_restore(void); /* cannot be called from C */
89 void cpu_kthread_restore(void); /* cannot be called from C */
90 void cpu_exit_switch (struct thread *next);
91 void cpu_setregs (void);
93 void go_user (struct intrframe *frame);
95 void init_exceptions(void);
96 void init_kqueue(void);
97 void kern_trap(struct trapframe *);
98 void user_trap(struct trapframe *);
99 void syscall2 (struct trapframe *);
100 void vcons_set_mode(int);
101 void signalmailbox(struct intrframe *);
102 int npxdna(struct trapframe *);
105 struct kqueue_info *kqueue_add(int, void (*)(void *, struct intrframe *), void *);
106 void kqueue_del(struct kqueue_info *);
107 struct kqueue_info *kqueue_add_timer(void (*func)(void *, struct intrframe *), void *data);
108 void kqueue_reload_timer(struct kqueue_info *info, int ms);