handler_triggered 1259 drivers/vme/vme.c int handler_triggered = 0; handler_triggered 1272 drivers/vme/vme.c handler_triggered = 1; handler_triggered 1276 drivers/vme/vme.c if (!handler_triggered)