Changeset 60041 in vbox for trunk/src/VBox/Devices/PC

Timestamp:

Mar 15, 2016 1:49:51 PM (9 years ago)

Author:

vboxsync

Message:

DevHPET: harmless missing typecast (thanks PVS)

File:

• trunk/src/VBox/Devices/PC/DevHPET.cpp (modified) (1 diff)

trunk/src/VBox/Devices/PC/DevHPET.cpp

@@ -1003 +1003 @@
         /* ISR bits are only set in level-triggered mode. */
         if ((pHpetTimer->u64Config & HPET_TN_INT_TYPE) == HPET_TIMER_TYPE_LEVEL)
-            pThis->u64Isr |= (uint64_t)(1 << pHpetTimer->idxTimer);
+            pThis->u64Isr |= UINT64_C(1) << pHpetTimer->idxTimer;
 
         /* We trigger flip/flop in edge-triggered mode and do nothing in