Changeset 43366 in vbox for trunk/src/VBox/Additions/haiku/VBoxVideo

Timestamp:

Sep 20, 2012 12:31:54 PM (13 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

80830

Message:

Haiku Additions: cleanup, missed file.

File:

• trunk/src/VBox/Additions/haiku/VBoxVideo/driver/driver.cpp (modified) (1 diff)

trunk/src/VBox/Additions/haiku/VBoxVideo/driver/driver.cpp

@@ -77 +77 @@
 struct Benaphore
 {
-        sem_id    sem;
-        int32    count;
-
-        status_t Init(const char *name)
-        {
-            count = 0;
-            sem = create_sem(0, name);
-            return sem < 0 ? sem : B_OK;
-        }
-
-        status_t Acquire()
-        {
-            if (atomic_add(&count, 1) > 0)
-                return acquire_sem(sem);
-            return B_OK;
-        }
-
-        status_t Release()
-        {
-            if (atomic_add(&count, -1) > 1)
-                return release_sem(sem);
-            return B_OK;
-        }
-
-        void Delete()
-                {
-                        delete_sem(sem);
-                }
+    sem_id    sem;
+    int32    count;
+
+    status_t Init(const char *name)
+    {
+        count = 0;
+        sem = create_sem(0, name);
+        return sem < 0 ? sem : B_OK;
+    }
+
+    status_t Acquire()
+    {
+        if (atomic_add(&count, 1) > 0)
+            return acquire_sem(sem);
+        return B_OK;
+    }
+
+    status_t Release()
+    {
+        if (atomic_add(&count, -1) > 1)
+            return release_sem(sem);
+        return B_OK;
+    }
+
+    void Delete()
+    {
+        delete_sem(sem);
+    }
 };
 
 struct DeviceInfo
 {
-        uint32          openCount;                      // count of how many times device has been opened
-        uint32          flags;                                  // device flags
-        area_id         sharedArea;                     // area shared between driver and all accelerants
-        SharedInfo     *sharedInfo;                     // pointer to shared info area memory
-        pci_info        pciInfo;                        // copy of pci info for this device
-        char            name[B_OS_NAME_LENGTH]; // name of device
+    uint32          openCount;                  // count of how many times device has been opened
+    uint32          flags;                                      // device flags
+    area_id         sharedArea;                 // area shared between driver and all accelerants
+    SharedInfo     *sharedInfo;                 // pointer to shared info area memory
+    pci_info        pciInfo;                    // copy of pci info for this device
+    char            name[B_OS_NAME_LENGTH]; // name of device
 };