kernel/include/msr.h


1
2
3
4
5
6
7
8
9

#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