Changeset 98000fb in mainline for kernel/generic/src/ddi/ddi.c

Timestamp:

2009-06-03T19:34:45Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

301ff30

Parents:

69e68e3

Message:

remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed)

File:

• kernel/generic/src/ddi/ddi.c (modified) (3 diffs)

kernel/generic/src/ddi/ddi.c

@@ -98 +98 @@
  *
  */
-static int ddi_physmem_map(uintptr_t pf, uintptr_t vp, count_t pages, int flags)
+static int ddi_physmem_map(uintptr_t pf, uintptr_t vp, size_t pages, int flags)
 {
         ASSERT(TASK);
@@ -119 +119 @@
         /* Find the zone of the physical memory */
         spinlock_lock(&zones.lock);
-        count_t znum = find_zone(ADDR2PFN(pf), pages, 0);
-        
-        if (znum == (count_t) -1) {
+        size_t znum = find_zone(ADDR2PFN(pf), pages, 0);
+        
+        if (znum == (size_t) -1) {
                 /* Frames not found in any zones
                  * -> assume it is hardware device and allow mapping
@@ -243 +243 @@
         return (unative_t) ddi_physmem_map(ALIGN_DOWN((uintptr_t) phys_base,
             FRAME_SIZE), ALIGN_DOWN((uintptr_t) virt_base, PAGE_SIZE),
-            (count_t) pages, (int) flags);
+            (size_t) pages, (int) flags);
 }