Rev 5270 | Rev 6934 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 5270 | Rev 6082 | ||
|---|---|---|---|
| Line 135... | Line 135... | ||
| 135 | static inline void write_cr3(unsigned long x) |
135 | static inline void write_cr3(unsigned long x) |
| 136 | { |
136 | { |
| 137 | native_write_cr3(x); |
137 | native_write_cr3(x); |
| 138 | } |
138 | } |
| Line 139... | Line 139... | ||
| 139 | 139 | ||
| 140 | static inline unsigned long read_cr4(void) |
140 | static inline unsigned long __read_cr4(void) |
| 141 | { |
141 | { |
| 142 | return native_read_cr4(); |
142 | return native_read_cr4(); |
| Line 143... | Line 143... | ||
| 143 | } |
143 | } |
| 144 | 144 | ||
| 145 | static inline unsigned long read_cr4_safe(void) |
145 | static inline unsigned long __read_cr4_safe(void) |
| 146 | { |
146 | { |
| Line 147... | Line 147... | ||
| 147 | return native_read_cr4_safe(); |
147 | return native_read_cr4_safe(); |
| 148 | } |
148 | } |
| 149 | 149 | ||
| 150 | static inline void write_cr4(unsigned long x) |
150 | static inline void __write_cr4(unsigned long x) |
| Line 151... | Line 151... | ||
| 151 | { |
151 | { |