kernel/include/msr.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef MSR_H
#define MSR_H

#include <types.h>

#define APIC_BASE_MSR 0x0000001B

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

#endif