Subject: Re: IPL_* and IST_* constants
To: Chris G Demetriou <Chris_G_Demetriou@UX2.SP.CS.CMU.EDU>
From: Charles M. Hannum <>
List: tech-kern
Date: 03/19/1996 08:18:32
   >    > The following constants must be defined in <machine/psl.h>, if _KERNEL
   >    > is defined:
   >    How are they brought into scope by drivers?
   > Based on current practice, it seems that including either of
   > <machine/psl.h> or <machine/cpu.h> should do it.  Whether or not
   > including both should be allowed is outside the scope of my message.
   > I find it bad form to gratuitously #include extra files, so I'd
   > recommend not making psl.h idempotent unless there is a pressing need
   > to.

   So, is the answer to include them via <machine/cpu.h>?

   And, if so, is it still mandatory to put them in <machine/psl.h>?

I already answered both questions in the text you quoted.