#ifndef MSR_H
#define MSR_H

#include <types.h>

uint64_t read_msr(uint32_t addr);
void write_msr(uint32_t addr, uint64_t value);

#endif