/* * intr_biglock_wrapper: grab biglock and call a real interrupt handler. */