diff options
| -rw-r--r-- | sys/arch/i386/include/cpu.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/arch/i386/include/cpu.h b/sys/arch/i386/include/cpu.h index e58661a6501..184c772b601 100644 --- a/sys/arch/i386/include/cpu.h +++ b/sys/arch/i386/include/cpu.h @@ -184,6 +184,9 @@ int i386_set_ldt __P((struct proc *, char *, register_t *)); void isa_defaultirq __P((void)); int isa_nmi __P((void)); +/* vm_machdep.c */ +int kvtop __P((caddr_t)); + #ifdef VM86 /* vm86.c */ void vm86_gpfault __P((struct proc *, int)); |