Rev 38 | Rev 75 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 38 | Rev 58 | ||
---|---|---|---|
Line 28... | Line 28... | ||
28 | 28 | ||
29 | #ifndef __ia32_CPU_H__ |
29 | #ifndef __ia32_CPU_H__ |
30 | #define __ia32_CPU_H__ |
30 | #define __ia32_CPU_H__ |
31 | 31 | ||
32 | #include <config.h> |
32 | #include <config.h> |
- | 33 | #include <proc/thread.h> |
|
33 | #include <typedefs.h> |
34 | #include <typedefs.h> |
34 | #include <arch/pm.h> |
35 | #include <arch/pm.h> |
35 | #include <arch/asm.h> |
36 | #include <arch/asm.h> |
36 | 37 | ||
37 | #ifdef __SMP__ |
38 | #ifdef __SMP__ |
Line 44... | Line 45... | ||
44 | int vendor; |
45 | int vendor; |
45 | int family; |
46 | int family; |
46 | int model; |
47 | int model; |
47 | int stepping; |
48 | int stepping; |
48 | struct tss *tss; |
49 | struct tss *tss; |
- | 50 | thread_t *fpu_owner; |
|
49 | }; |
51 | }; |
50 | 52 | ||
51 | 53 | ||
- | 54 | void set_TS_flag(void); |
|
- | 55 | void reset_TS_flag(void); |
|
- | 56 | ||
52 | #endif |
57 | #endif |