-/* $OpenBSD: machdep.c,v 1.9 1996/04/17 05:18:54 mickey Exp $ */
+/* $OpenBSD: machdep.c,v 1.10 1996/04/18 04:04:57 mickey Exp $ */
/* $NetBSD: machdep.c,v 1.191 1996/03/01 21:49:49 scottr Exp $ */
/*-
caddr_t allocsys __P((caddr_t));
void dumpsys __P((void));
void cpu_reset __P((void));
+void identifycpu __P((void));
/*
* Machine-dependent startup code
-/* $OpenBSD: pmap.c,v 1.6 1996/04/17 05:18:55 mickey Exp $ */
+/* $OpenBSD: pmap.c,v 1.7 1996/04/18 04:04:54 mickey Exp $ */
/* $NetBSD: pmap.c,v 1.34 1995/12/09 07:39:02 mycroft Exp $ */
/*
TAILQ_HEAD(pv_page_list, pv_page) pv_page_freelist;
int pv_nfree;
+void i386_protection_init __P((void));
pt_entry_t *pmap_pte __P((pmap_t, vm_offset_t));
#if BSDVM_COMPAT
-/* $OpenBSD: pmap.old.c,v 1.6 1996/04/17 05:18:55 mickey Exp $ */
+/* $OpenBSD: pmap.old.c,v 1.7 1996/04/18 04:04:54 mickey Exp $ */
/* $NetBSD: pmap.c,v 1.34 1995/12/09 07:39:02 mycroft Exp $ */
/*
TAILQ_HEAD(pv_page_list, pv_page) pv_page_freelist;
int pv_nfree;
+void i386_protection_init __P((void));
pt_entry_t *pmap_pte __P((pmap_t, vm_offset_t));
#if BSDVM_COMPAT