Rev 1201 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1201 | Rev 1256 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | #include <typedefs.h> |
32 | #include <typedefs.h> |
33 | #include <arch/types.h> |
33 | #include <arch/types.h> |
34 | #include <adt/bitmap.h> |
34 | #include <adt/bitmap.h> |
35 | 35 | ||
36 | typedef struct { |
36 | typedef struct { |
- | 37 | count_t iomapver; /**< I/O Permission bitmap Generation counter. */ |
|
37 | bitmap_t iomap; |
38 | bitmap_t iomap; /**< I/O Permission bitmap. */ |
38 | } task_arch_t; |
39 | } task_arch_t; |
39 | 40 | ||
40 | #endif |
41 | #endif |