Type: Bug
Severity: major
Component: VirtualBox OSE
Host: Ubuntu 64

In file src/VBox/Devices/PC/DevAPIC.cpp:

  919        case 0x30:
  920            /* Here one of the differences with regular APIC: ICR is 
single 64-bit register */
  !921           val = ((uint64_t)apic->icr[0x31] << 32) | apic->icr[0x30];
  922            break;

In line 921 APICState->icr is accessed at address 0x31 and 0x30 but icr has 
only 2 elements, as defined here (in the same file):
  219    uint32_t icr[2];

This causes an invalid memory access.

_______________________________________________
vbox-dev mailing list
[email protected]
http://vbox.innotek.de/mailman/listinfo/vbox-dev

Reply via email to