Subject: Re: kernel_pt_table should be static?
To: John Fremlin , <>
From: Chris Gilbert <>
List: port-arm
Date: 05/26/2001 22:30:51
On Saturday 26 May 2001  9:44 pm, John Fremlin wrote:
> This variable isn't used outside of the individual *_machdep.c where
> it is defined?

Could be, at one time it might have been used outside of the machdep files, 
only way to find out is to make it static and see if your kernel still links. 
 It it works please send us the diff and someone will commit it. :)

It's probably not the only bit of cruft you'll find lying around the place 
that should be garbage collected.