Changeset 98000fb in mainline for kernel/arch/ia32/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/arch/ia32/src/ddi/ddi.c (modified) (3 diffs)

kernel/arch/ia32/src/ddi/ddi.c

@@ -58 +58 @@
 int ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
-        count_t bits;
+        size_t bits;
 
         bits = ioaddr + size;
@@ -100 +100 @@
          * Enable the range and we are done.
          */
-        bitmap_clear_range(&task->arch.iomap, (index_t) ioaddr, (count_t) size);
+        bitmap_clear_range(&task->arch.iomap, (size_t) ioaddr, (size_t) size);
 
         /*
@@ -119 +119 @@
 void io_perm_bitmap_install(void)
 {
-        count_t bits;
+        size_t bits;
         ptr_16_32_t cpugdtr;
         descriptor_t *gdt_p;
-        count_t ver;
+        size_t ver;
 
         /* First, copy the I/O Permission Bitmap. */