diff --git a/sys/arch/pmax/include/tc_machdep.h b/sys/arch/pmax/include/tc_machdep.h
index 5c6ee8e29709..0d5a6f080090 100644
--- a/sys/arch/pmax/include/tc_machdep.h
+++ b/sys/arch/pmax/include/tc_machdep.h
@@ -1,4 +1,4 @@
-/*	$NetBSD: tc_machdep.h,v 1.5 1996/10/06 06:29:51 jonathan Exp $	*/
+/*	$NetBSD: tc_machdep.h,v 1.6 1997/05/25 05:58:36 jonathan Exp $	*/
 
 /*
  * Copyright (c) 1994, 1995 Carnegie-Mellon University.
@@ -106,6 +106,6 @@ int tc_checkslot __P((tc_addr_t slotbase, char *namep));
 extern int tc_findconsole __P((int preferred_slot));
 extern void config_tcbus __P((struct device *parent, int cputype,
 			      int printfn __P((void*, const char*)) ));
-
+extern int badaddr	 __P((void *, u_int));
 
 #endif /* __MACHINE_TC_MACHDEP_H__*/