diff --git a/sys/amd64/include/cpu.h b/sys/amd64/include/cpu.h
index f31f38a39bad..01eb10558124 100644
--- a/sys/amd64/include/cpu.h
+++ b/sys/amd64/include/cpu.h
@@ -34,7 +34,7 @@
  * SUCH DAMAGE.
  *
  *	from: @(#)cpu.h	5.4 (Berkeley) 5/9/91
- *	$Id: cpu.h,v 1.10 1994/09/20 00:32:40 ache Exp $
+ *	$Id: cpu.h,v 1.11 1994/10/04 18:25:51 ache Exp $
  */
 
 #ifndef _MACHINE_CPU_H_
@@ -115,6 +115,10 @@ extern int want_resched;	/* resched was called */
 extern int cpu;
 extern int cpu_class;
 extern struct cpu_nameclass i386_cpus[];
+int	cpu_fork __P((struct proc *, struct proc *));
+int	npxdna __P((void));
+void	npxexit __P((struct proc *p));
+
 #endif
 
 #endif /* !_MACHINE_CPU_H_ */
diff --git a/sys/amd64/include/pcb.h b/sys/amd64/include/pcb.h
index 953a9ef9b126..37b76f85832d 100644
--- a/sys/amd64/include/pcb.h
+++ b/sys/amd64/include/pcb.h
@@ -34,7 +34,7 @@
  * SUCH DAMAGE.
  *
  *	from: @(#)pcb.h	5.10 (Berkeley) 5/12/91
- *	$Id: pcb.h,v 1.5 1994/05/25 08:56:19 rgrimes Exp $
+ *	$Id: pcb.h,v 1.6 1994/08/13 03:49:50 wollman Exp $
  */
 
 #ifndef _I386_PCB_H_
@@ -88,6 +88,7 @@ struct md_coredump {
 
 #ifdef KERNEL
 extern struct pcb *curpcb;		/* our current running pcb */
+int	savectx __P((struct pcb*,int));
 #endif
 
 #endif /* _I386_PCB_H_ */
diff --git a/sys/amd64/include/pmap.h b/sys/amd64/include/pmap.h
index d90a4ba4aefd..16afa104320e 100644
--- a/sys/amd64/include/pmap.h
+++ b/sys/amd64/include/pmap.h
@@ -42,7 +42,7 @@
  *
  *	from: hp300: @(#)pmap.h	7.2 (Berkeley) 12/16/90
  *	from: @(#)pmap.h	7.4 (Berkeley) 5/12/91
- * 	$Id: pmap.h,v 1.15 1994/08/18 22:34:47 wollman Exp $
+ * 	$Id: pmap.h,v 1.16 1994/08/23 16:27:15 davidg Exp $
  */
 
 #ifndef	_PMAP_MACHINE_
@@ -198,6 +198,8 @@ extern inline pt_entry_t *pmap_pte(pmap_t, vm_offset_t);
 struct pcb; extern void pmap_activate(pmap_t, struct pcb *);
 extern pmap_t pmap_kernel(void);
 
+boolean_t	pmap_page_exists __P((pmap_t, vm_offset_t));
+vm_page_t	pmap_pte_vm_page __P((pmap_t, vm_offset_t));
 #endif /* KERNEL */
 
 #endif /* _PMAP_MACHINE_ */
diff --git a/sys/i386/include/cpu.h b/sys/i386/include/cpu.h
index f31f38a39bad..01eb10558124 100644
--- a/sys/i386/include/cpu.h
+++ b/sys/i386/include/cpu.h
@@ -34,7 +34,7 @@
  * SUCH DAMAGE.
  *
  *	from: @(#)cpu.h	5.4 (Berkeley) 5/9/91
- *	$Id: cpu.h,v 1.10 1994/09/20 00:32:40 ache Exp $
+ *	$Id: cpu.h,v 1.11 1994/10/04 18:25:51 ache Exp $
  */
 
 #ifndef _MACHINE_CPU_H_
@@ -115,6 +115,10 @@ extern int want_resched;	/* resched was called */
 extern int cpu;
 extern int cpu_class;
 extern struct cpu_nameclass i386_cpus[];
+int	cpu_fork __P((struct proc *, struct proc *));
+int	npxdna __P((void));
+void	npxexit __P((struct proc *p));
+
 #endif
 
 #endif /* !_MACHINE_CPU_H_ */
diff --git a/sys/i386/include/pcb.h b/sys/i386/include/pcb.h
index 953a9ef9b126..37b76f85832d 100644
--- a/sys/i386/include/pcb.h
+++ b/sys/i386/include/pcb.h
@@ -34,7 +34,7 @@
  * SUCH DAMAGE.
  *
  *	from: @(#)pcb.h	5.10 (Berkeley) 5/12/91
- *	$Id: pcb.h,v 1.5 1994/05/25 08:56:19 rgrimes Exp $
+ *	$Id: pcb.h,v 1.6 1994/08/13 03:49:50 wollman Exp $
  */
 
 #ifndef _I386_PCB_H_
@@ -88,6 +88,7 @@ struct md_coredump {
 
 #ifdef KERNEL
 extern struct pcb *curpcb;		/* our current running pcb */
+int	savectx __P((struct pcb*,int));
 #endif
 
 #endif /* _I386_PCB_H_ */
diff --git a/sys/i386/include/pmap.h b/sys/i386/include/pmap.h
index d90a4ba4aefd..16afa104320e 100644
--- a/sys/i386/include/pmap.h
+++ b/sys/i386/include/pmap.h
@@ -42,7 +42,7 @@
  *
  *	from: hp300: @(#)pmap.h	7.2 (Berkeley) 12/16/90
  *	from: @(#)pmap.h	7.4 (Berkeley) 5/12/91
- * 	$Id: pmap.h,v 1.15 1994/08/18 22:34:47 wollman Exp $
+ * 	$Id: pmap.h,v 1.16 1994/08/23 16:27:15 davidg Exp $
  */
 
 #ifndef	_PMAP_MACHINE_
@@ -198,6 +198,8 @@ extern inline pt_entry_t *pmap_pte(pmap_t, vm_offset_t);
 struct pcb; extern void pmap_activate(pmap_t, struct pcb *);
 extern pmap_t pmap_kernel(void);
 
+boolean_t	pmap_page_exists __P((pmap_t, vm_offset_t));
+vm_page_t	pmap_pte_vm_page __P((pmap_t, vm_offset_t));
 #endif /* KERNEL */
 
 #endif /* _PMAP_MACHINE_ */