Subject: kernel_pt_table should be static?
To: , <port-arm@netbsd.org>
From: John Fremlin <vii@users.sourceforge.net>
List: port-arm
Date: 05/26/2001 21:44:19 
This variable isn't used outside of the individual *_machdep.c where
it is defined?
-- 

	http://ape.n3.net