Subject: Re: kernel_pt_table should be static?
To: Chris Gilbert <>
From: John Fremlin <>
List: port-arm
Date: 05/26/2001 23:40:32
Chris Gilbert <> writes:

> 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. :)

That test passed before I sent the mail - the trouble is that my
kernel is the first try at a new port.

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

Indeed. Indeed. I'm rewriting initarm now (a spot of much needed work
IMHO). Would other ARMs want it? ATM it is just for psionw.