obrien c7790304de Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS) ... by default while SMPng is still being developed. Submitted by: jhb		2001-04-15 19:37:28 +00:00
..
alpha	Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just	2001-04-11 17:06:02 +00:00
conf	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +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	Use the MI ithread helper functions in the alpha hardware interrupt code.	2001-02-09 17:53:23 +00:00
linux	Regen after adding linux_sched_get_priority_max() and	2001-04-03 18:01:41 +00:00
mcbus	Doug found that doing a W1C on MCPCIA_INT_REQ just around the time you	2001-02-13 22:48:12 +00:00
osf1	Grab the process lock while calling psignal and before calling psignal.	2001-03-07 03:37:06 +00:00
pci	Switch from save/disable/restore_intr() to critical_enter/exit().	2001-03-28 03:06:10 +00:00
tc	Another round of the <sys/queue.h> FOREACH transmogriffer.	2001-02-04 16:08:18 +00:00
tlsb	Send the remains (such as I have located) of "block major numbers" to	2001-03-26 12:41:29 +00:00
Makefile	Add a dopey makefile to do the tags dance, which is probably not perfect	2000-12-31 23:26:34 +00:00