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


Ignore:
Timestamp:
2007-02-03T13:22:24Z (18 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f619ec11
Parents:
fa8e7d2
Message:

Merge as_t structure into one and leave the differring parts in as_genarch_t.

Indentation and formatting changes in header files.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/ddi/ddi_arg.h

    rfa8e7d2 r80bcaed  
    3838/** Structure encapsulating arguments for SYS_PHYSMEM_MAP syscall. */
    3939typedef struct {
    40         unsigned long long task_id;     /** ID of the destination task. */
    41         void *phys_base;                /** Physical address of starting frame. */
    42         void *virt_base;                /** Virtual address of starting page. */
    43         unsigned long pages;            /** Number of pages to map. */
    44         int flags;                      /** Address space area flags for the mapping. */
     40        /** ID of the destination task. */
     41        unsigned long long task_id;
     42        /** Physical address of starting frame. */
     43        void *phys_base;
     44        /** Virtual address of starting page. */
     45        void *virt_base;
     46        /** Number of pages to map. */
     47        unsigned long pages;
     48        /** Address space area flags for the mapping. */
     49        int flags;
    4550} ddi_memarg_t;
    4651
    4752/** Structure encapsulating arguments for SYS_ENABLE_IOSPACE syscall. */
    4853typedef struct {
    49         unsigned long long task_id;     /** ID of the destination task. */
    50         void *ioaddr;                   /** Starting I/O space address. */
    51         unsigned long size;             /** Number of bytes. */
     54        unsigned long long task_id;     /**< ID of the destination task. */
     55        void *ioaddr;                   /**< Starting I/O space address. */
     56        unsigned long size;             /**< Number of bytes. */
    5257} ddi_ioarg_t;
    5358
Note: See TracChangeset for help on using the changeset viewer.