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.16 2007/01/15 05:27:30 dillon 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
56 extern char sigcode[];
58 extern vpte_t *KernelPTA; /* NOTE: Offset for direct VA translation */
59 extern vpte_t *KernelPTD;
60 extern vm_offset_t crashdumpmap;
63 extern char cpu_vendor[]; /* XXX belongs in i386 */
64 extern u_int cpu_id; /* XXX belongs in i386 */
66 extern int RootImageFd;
67 extern int MemImageFd;
69 extern struct vknetif_info NetifInfo[VKNETIF_MAX];
71 extern int _ucodesel, _udatasel;
75 vpte_t *pmap_kpte(vm_offset_t va);
76 void cpu_gdinit (struct mdglobaldata *gd, int cpu);
78 void cpu_heavy_restore(void); /* cannot be called from C */
79 void cpu_lwkt_restore(void); /* cannot be called from C */
80 void cpu_idle_restore(void); /* cannot be called from C */
81 void cpu_kthread_restore(void); /* cannot be called from C */
82 void cpu_exit_switch (struct thread *next);
83 void cpu_setregs (void);
85 void go_user (struct intrframe frame);
87 void init_exceptions(void);
88 void init_kqueue(void);
89 void kern_trap(struct trapframe *);
90 void user_trap(struct trapframe *);
91 void syscall2 (struct trapframe *);
92 void vcons_set_mode(int);
93 void signalmailbox(struct intrframe *);
94 int npxdna(struct trapframe *);
97 struct kqueue_info *kqueue_add(int, void (*)(void *, struct intrframe *), void *);
98 void kqueue_del(struct kqueue_info *);
99 struct kqueue_info *kqueue_add_timer(void (*func)(void *, struct intrframe *), void *data);
100 void kqueue_reload_timer(struct kqueue_info *info, int ms);