sfxge_intr_stop
sfxge_intr_stop(sp);
sfxge_intr_stop(sp); /* cope with late flush/soft events until here */
extern void sfxge_intr_stop(sfxge_t *);