| 437 | } |
| 438 | |
| 439 | static __inline u_long |
| 440 | rcr3(void) |
| 441 | { |
| 442 | u_long data; |
| 443 | |
| 444 | __asm __volatile("movq %%cr3,%0" : "=r" (data)); |
| 445 | return (data); |
| 446 | } |
| 447 | |
| 448 | static __inline void |
| 449 | load_cr4(u_long data) |
no outgoing calls
no test coverage detected