__asm__ ("mrs r0,cpsr\t\n"
             "bic r0,r0,#0xC0\t\n"
             "msr cpsr,r0\t\n"
             "mrc p15,0,r0,c1,c0,0\t\n"
             "orr r0,r0,#0x1000000\t\n"
             "mcr p15,0,r0,c1,c0,0\t\n"
             :::
             "r0");

    INTCNTL |= (0x1 << 18);
    INTCNTL &= ~(NIDIS);
    INTENNUM = 28;
    VECTOR28 = EPIT_HANDLER;

    INTSRCH |= (0x1 << 28); // Artificially induce an EPIT interrupt
    // Note that the EPIT interrupt should be happening anyway every 1/100 second