| 791 | } |
| 792 | |
| 793 | static __inline uint64_t |
| 794 | rdr3(void) |
| 795 | { |
| 796 | uint64_t data; |
| 797 | __asm __volatile("movq %%dr3,%0" : "=r" (data)); |
| 798 | return (data); |
| 799 | } |
| 800 | |
| 801 | static __inline void |
| 802 | load_dr3(uint64_t dr3) |
no outgoing calls
no test coverage detected