Rev 58 | Rev 125 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 58 | Rev 75 | ||
---|---|---|---|
Line 45... | Line 45... | ||
45 | int vendor; |
45 | int vendor; |
46 | int family; |
46 | int family; |
47 | int model; |
47 | int model; |
48 | int stepping; |
48 | int stepping; |
49 | struct tss *tss; |
49 | struct tss *tss; |
50 | thread_t *fpu_owner; |
- | |
51 | }; |
50 | }; |
52 | 51 | ||
53 | 52 | ||
54 | void set_TS_flag(void); |
53 | void set_TS_flag(void); |
55 | void reset_TS_flag(void); |
54 | void reset_TS_flag(void); |