Doug Rabson dd85faa611 Record the right value for tf_ndirty for kernel interruptions so that ... we can examine the interrupted register stack frame in DDB.		2001-04-18 14:10:43 +00:00
..
conf	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
ia64	Record the right value for tf_ndirty for kernel interruptions so that	2001-04-18 14:10:43 +00:00
include	Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just	2001-04-11 17:06:02 +00:00
isa