mycroft fecbe784d6 Oops; finish that last change.		1995-04-10 12:45:53 +00:00
..
include	Bring back pmap_kernel(), for now always inlined as a pointer to	1995-04-10 12:41:29 +00:00
mips	Oops; finish that last change.	1995-04-10 12:45:53 +00:00