Rev 1178 | Rev 1429 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1178 | Rev 1191 | ||
|---|---|---|---|
| Line 34... | Line 34... | ||
| 34 | unsigned long long task_id; /** ID of the destination task. */ |
34 | unsigned long long task_id; /** ID of the destination task. */ |
| 35 | void *phys_base; /** Physical address of starting frame. */ |
35 | void *phys_base; /** Physical address of starting frame. */ |
| 36 | void *virt_base; /** Virtual address of starting page. */ |
36 | void *virt_base; /** Virtual address of starting page. */ |
| 37 | unsigned long pages; /** Number of pages to map. */ |
37 | unsigned long pages; /** Number of pages to map. */ |
| 38 | int writable; /** True if the mapping should be writable. */ |
38 | int writable; /** True if the mapping should be writable. */ |
| - | 39 | } ddi_memarg_t; |
|
| - | 40 | ||
| - | 41 | /** Structure encapsulating arguments for SYS_ENABLE_IOSPACE syscall. */ |
|
| - | 42 | typedef struct { |
|
| - | 43 | unsigned long long task_id; /** ID of the destination task. */ |
|
| - | 44 | void *ioaddr; /** Starting I/O space address. */ |
|
| - | 45 | unsigned long size; /** Number of bytes. */ |
|
| 39 | } ddi_arg_t; |
46 | } ddi_ioarg_t; |
| 40 | 47 | ||
| 41 | #endif |
48 | #endif |