4 #define MSR_LSTAR 0xC0000081
6 uint64_t readtsc(void);
7 void writemsr(uint32_t msr, uint64_t val);
8 uint64_t readmsr(uint32_t msr);
10 void disable_syscall();
11 uint64_t setdr0(uint64_t);
12 uint64_t setdr1(uint64_t);
13 uint64_t setdr2(uint64_t);
14 uint64_t setdr3(uint64_t);
15 uint64_t nextrip(void);