| 472 | } |
| 473 | |
| 474 | static __inline u_int |
| 475 | rcr3(void) |
| 476 | { |
| 477 | u_int data; |
| 478 | |
| 479 | __asm __volatile("movl %%cr3,%0" : "=r" (data)); |
| 480 | return (data); |
| 481 | } |
| 482 | |
| 483 | static __inline void |
| 484 | load_cr4(u_int data) |
no outgoing calls
no test coverage detected