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