Module Name:	syssrc
Committed By:	thorpej
Date:		Tue Dec  7 21:35:07 UTC 1999

Modified Files:
	syssrc/sys/arch/alpha/alpha: interrupt.c

Log Message:
When doing a badaddr check, insert an extra `mb', which is highly magic
on some systems (due to quirky bus adapters).


To generate a diff of this commit:
cvs rdiff -r1.41 -r1.42 syssrc/sys/arch/alpha/alpha/interrupt.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.