Changes in kernel/generic/include/ddi/ddi_arg.h [da1bafb:80bcaed] in mainline

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. */
-        uint64_t task_id;
+        unsigned long long task_id;
         /** Physical address of starting frame. */
         void *phys_base;
@@ -51 +45 @@
         void *virt_base;
         /** Number of pages to map. */
-        size_t pages;
+        unsigned long pages;
         /** Address space area flags for the mapping. */
-        unsigned int flags;
+        int flags;
 } ddi_memarg_t;
 
 /** Structure encapsulating arguments for SYS_ENABLE_IOSPACE syscall. */
 typedef struct {
-        uint64_t task_id;  /**< ID of the destination task. */
-        void *ioaddr;      /**< Starting I/O space address. */
-        size_t size;       /**< Number of bytes. */
+        unsigned long long task_id;     /**< ID of the destination task. */
+        void *ioaddr;                   /**< Starting I/O space address. */
+        unsigned long size;             /**< Number of bytes. */
 } ddi_ioarg_t;