#include <stdint.h>

#define MSR_INDEX_EFER 0xc0000080
#define MSR_INDEX_STAR 0xc0000081
#define MSR_INDEX_LSTAR 0xc0000082

union msr_efer
{
	uint64_t value;
};

union msr_star
{
	struct
	{
		uint32_t target_eip;
		uint16_t syscall_segment_base;
		uint16_t sysret_segment_base;
	}
	fields;
	uint64_t value;
};

union msr_lstar
{
	uint64_t target_rip;
	uint64_t value;
};