Rev 4346 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4346 | Rev 4691 | ||
|---|---|---|---|
| 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 |