Rev 4126 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4126 | Rev 4490 | ||
---|---|---|---|
Line 55... | Line 55... | ||
55 | unsigned int family; |
55 | unsigned int family; |
56 | unsigned int model; |
56 | unsigned int model; |
57 | unsigned int stepping; |
57 | unsigned int stepping; |
58 | tss_t *tss; |
58 | tss_t *tss; |
59 | 59 | ||
60 | count_t iomapver_copy; /** Copy of TASK's I/O Permission bitmap generation count. */ |
60 | size_t iomapver_copy; /** Copy of TASK's I/O Permission bitmap generation count. */ |
61 | } cpu_arch_t; |
61 | } cpu_arch_t; |
62 | 62 | ||
63 | #endif |
63 | #endif |
64 | 64 | ||
65 | #endif |
65 | #endif |