Index: /trunk/src/VBox/Devices/PC/DevACPI.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 20111)
+++ /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 20112)
@@ -1793,5 +1793,5 @@
     ACPIState *s = PDMINS_2_DATA(pDevIns, ACPIState *);
     uint32_t rsdp_addr;
-    PCIDevice *dev;
+    PCIDevice *dev = &s->dev;
     bool fGCEnabled;
     bool fR0Enabled;
@@ -1946,5 +1946,4 @@
     acpiPMTimerReset(s);
 
-    dev = &s->dev;
     PCIDevSetVendorId(dev, 0x8086); /* Intel */
     PCIDevSetDeviceId(dev, 0x7113); /* 82371AB */