VORTEX_IRQ_SOURCE
source = hwread(vortex->mmio, VORTEX_IRQ_SOURCE);
hwwrite(vortex->mmio, VORTEX_IRQ_SOURCE, source);
hwread(vortex->mmio, VORTEX_IRQ_SOURCE);
hwwrite(vortex->mmio, VORTEX_IRQ_SOURCE, 0xffffffff);
hwwrite(vortex->mmio, VORTEX_IRQ_SOURCE, 0xffff);