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