tsutsui 2ab13d3a78 Use vaddr_t casts rather than pointer arithmetic (in #ifdef DIAGNOSTIC).		2007-03-12 12:09:34 +00:00
..
DOC	Use the SI capitalization for "Hz", "kHz", and "MHz" in comments and strings.	2006-03-08 23:46:22 +00:00
compile	Rework how KERNOBJDIR functions; now it's always determined with	2003-01-06 17:40:18 +00:00
conf	Make hp300 use common m68k/softintr.c.	2007-03-04 01:57:21 +00:00
dev	Fix an instance of "void *v, x;" and cast to char* before doing	2007-03-07 09:10:16 +00:00
hp300	Use vaddr_t casts rather than pointer arithmetic (in #ifdef DIAGNOSTIC).	2007-03-12 12:09:34 +00:00
include	- Shrink ipl_cookie_t from 32-bits to 16-bits (large enough to hold	2007-03-11 05:22:24 +00:00
stand	Fix an instance of "void *v, x;" and cast to char* before doing	2007-03-07 09:10:16 +00:00
Makefile	Rework how KERNOBJDIR functions; now it's always determined with	2003-01-06 17:40:18 +00:00