#ifndef _ZOS_CPU_H_
#define _ZOS_CPU_H_

#define MSR_LSTAR 0xC0000081

uint64_t readtsc(void);
void writemsr(uint32_t msr, uint64_t val);
uint64_t readmsr(uint32_t msr);
void enable_syscall();
void disable_syscall();
uint64_t setdr0(uint64_t);
uint64_t setdr1(uint64_t);
uint64_t setdr2(uint64_t);
uint64_t setdr3(uint64_t);
uint64_t nextrip(void);

#endif