Changeset bd51a63 in rtems for c/src/lib/libbsp/arm/edb7312/irq

2007-09-12 Joel Sherrill <joel.sherrill@…>

PR 1257/bsps

• console/inch.c, console/keyboard.c, console/pc_keyb.c, console/vt.c: Code outside of cpukit should use the public API for rtems_interrupt_disable/rtems_interrupt_enable. By bypassing the public API and directly accessing _CPU_ISR_Disable and _CPU_ISR_Enable, they were bypassing the compiler memory barrier directive which could lead to problems. This patch also changes the type of the variable passed into these routines and addresses minor style issues.