Changeset da1bafb in mainline for kernel/generic/include/ddi/ddi_arg.h

Timestamp:

2010-05-24T18:57:31Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

0095368

Parents:

666f492

Message:

major code revision

• replace spinlocks taken with interrupts disabled with irq_spinlocks
• change spacing (not indendation) to be tab-size independent
• use unsigned integer types where appropriate (especially bit flags)
• visual separation
• remove argument names in function prototypes
• string changes
• correct some formating directives
• replace various cryptic single-character variables (t, a, m, c, b, etc.) with proper identifiers (thread, task, timeout, as, itm, itc, etc.)
• unify some assembler constructs
• unused page table levels are now optimized out in compile time
• replace several ints (with boolean semantics) with bools
• use specifically sized types instead of generic types where appropriate (size_t, uint32_t, btree_key_t)
• improve comments
• split asserts with conjuction into multiple independent asserts

File:

• kernel/generic/include/ddi/ddi_arg.h (modified) (2 diffs)

kernel/generic/include/ddi/ddi_arg.h

@@ -36 +36 @@
 #define KERN_DDI_ARG_H_
 
+#ifdef KERNEL
+
+#include <typedefs.h>
+
+#endif /* KERNEL */
+
 /** Structure encapsulating arguments for SYS_PHYSMEM_MAP syscall. */
 typedef struct {
         /** ID of the destination task. */
-        unsigned long long task_id;
+        uint64_t task_id;
         /** Physical address of starting frame. */
         void *phys_base;
@@ -45 +51 @@
         void *virt_base;
         /** Number of pages to map. */
-        unsigned long pages;
+        size_t pages;
         /** Address space area flags for the mapping. */
-        int flags;
+        unsigned int flags;
 } ddi_memarg_t;
 
 /** Structure encapsulating arguments for SYS_ENABLE_IOSPACE syscall. */
 typedef struct {
-        unsigned long long task_id;     /**< ID of the destination task. */
-        void *ioaddr;                   /**< Starting I/O space address. */
-        unsigned long size;             /**< Number of bytes. */
+        uint64_t task_id;  /**< ID of the destination task. */
+        void *ioaddr;      /**< Starting I/O space address. */
+        size_t size;       /**< Number of bytes. */
 } ddi_ioarg_t;