64 bit fix

[qemu] / hw / openpic.c

diff --git a/hw/openpic.c b/hw/openpic.c
index d193cfe..ad9db7b 100644 (file)
--- a/hw/openpic.c
+++ b/hw/openpic.c
@@ -629,7 +629,7 @@ static void openpic_timer_write (void *opaque, uint32_t addr, uint32_t val)
         break;
     case 0x10: /* TIBC */
        if ((opp->timers[idx].ticc & 0x80000000) != 0 &&
-           (val & 0x800000000) == 0 &&
+           (val & 0x80000000) == 0 &&
             (opp->timers[idx].tibc & 0x80000000) != 0)
            opp->timers[idx].ticc &= ~0x80000000;
        opp->timers[idx].tibc = val;