* <!--
* Copyright (C) 2003,2004 Develer S.r.l. (http://www.develer.com/)
* Copyright (C) 2000 Bernardo Innocenti <bernie@codewiz.org>
* <!--
* Copyright (C) 2003,2004 Develer S.r.l. (http://www.develer.com/)
* Copyright (C) 2000 Bernardo Innocenti <bernie@codewiz.org>
*#* Revision 1.5 2004/12/13 11:51:08 bernie
*#* DISABLE_INTS/ENABLE_INTS: Convert to IRQ_DISABLE/IRQ_ENABLE.
*#*
*#* Revision 1.5 2004/12/13 11:51:08 bernie
*#* DISABLE_INTS/ENABLE_INTS: Convert to IRQ_DISABLE/IRQ_ENABLE.
*#*