Index: /trunk/src/VBox/Devices/PC/DevACPI.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 27392)
+++ /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 27393)
@@ -1484,5 +1484,5 @@
                                            | STA_DEVICE_SHOW_IN_UI_MASK
                                            | STA_DEVICE_FUNCTIONING_PROPERLY_MASK)
-                            : 0;
+                                        : 0;
                     break;
 
@@ -1492,5 +1492,5 @@
                                           /* no need to show this device in the UI */
                                           | STA_DEVICE_FUNCTIONING_PROPERLY_MASK)
-                            : 0;
+                                       : 0;
                     break;
 
@@ -1500,7 +1500,6 @@
                                           | STA_DEVICE_SHOW_IN_UI_MASK
                                           | STA_DEVICE_FUNCTIONING_PROPERLY_MASK)
-                            : 0;
+                                       : 0;
                     break;
-
 
                 case SYSTEM_INFO_INDEX_CPU0_STATUS:
@@ -1508,13 +1507,14 @@
                 case SYSTEM_INFO_INDEX_CPU2_STATUS:
                 case SYSTEM_INFO_INDEX_CPU3_STATUS:
-                  *pu32 = s->fShowCpu
-                    && s->uSystemInfoIndex - SYSTEM_INFO_INDEX_CPU0_STATUS < s->cCpus
-                    && VMCPUSET_IS_PRESENT(&s->CpuSetAttached, s->uSystemInfoIndex - SYSTEM_INFO_INDEX_CPU0_STATUS)
-                    ?
-                      STA_DEVICE_PRESENT_MASK
-                    | STA_DEVICE_ENABLED_MASK
-                    | STA_DEVICE_SHOW_IN_UI_MASK
-                    | STA_DEVICE_FUNCTIONING_PROPERLY_MASK
-                    : 0;
+                    *pu32 = (   s->fShowCpu
+                             && s->uSystemInfoIndex - SYSTEM_INFO_INDEX_CPU0_STATUS < s->cCpus
+                             && VMCPUSET_IS_PRESENT(&s->CpuSetAttached,
+                                                    s->uSystemInfoIndex - SYSTEM_INFO_INDEX_CPU0_STATUS))
+                                        ? (  STA_DEVICE_PRESENT_MASK
+                                           | STA_DEVICE_ENABLED_MASK
+                                           | STA_DEVICE_SHOW_IN_UI_MASK
+                                           | STA_DEVICE_FUNCTIONING_PROPERLY_MASK)
+                                        : 0;
+                    break;
 
                  case SYSTEM_INFO_INDEX_RTC_STATUS:
@@ -1523,5 +1523,5 @@
                                            | STA_DEVICE_SHOW_IN_UI_MASK
                                            | STA_DEVICE_FUNCTIONING_PROPERLY_MASK)
-                            : 0;
+                                        : 0;
                     break;
 
@@ -1543,14 +1543,10 @@
 
                 case SYSTEM_INFO_INDEX_CPU_EVENT_TYPE:
-                {
                     *pu32 = s->u32CpuEventType;
                     break;
-                }
 
                 case SYSTEM_INFO_INDEX_CPU_EVENT:
-                {
                     *pu32 = s->u32CpuEvent;
                     break;
-                }
 
                 /* Solaris 9 tries to read from this index */
Index: /trunk/src/VBox/Devices/PC/vbox.dsl
===================================================================
--- /trunk/src/VBox/Devices/PC/vbox.dsl	(revision 27392)
+++ /trunk/src/VBox/Devices/PC/vbox.dsl	(revision 27393)
@@ -701,5 +701,5 @@
                     Method (_STA, 0, NotSerialized)
                     {
-                       Return (0x0f)
+                       Return (URTC)
                     }
                 }