id summary reporter owner description type status component version resolution keywords cc guest host 8244 BIOS32 PCI service wrong length Jonathan de Boyne Pollard "File: source:trunk/src/VBox/Devices/PC/BIOS/rombios.c This is the same bug as bug ID !#3170157 registered at the Bochs bug database on !SourceForge. The equivalent Bochs source file is bochs/bios/rombios.c . Just before the bios32_end label in rombios.c we have {{{ mov ecx, #0 }}} According to the specification this should be the length of the code/data segment used to access the service. It's definitely not supposed to be zero length. Given that the base specified in the line above is 0xF0000, this will provide a reasonable length value for now: {{{ mov ecx, #0x10000 }}}" defect closed other VirtualBox 4.0.2 fixed other other