path: root/api/asm/x86_64/msr.h

#include <stdint.h>

void msr_write(uint32_t index, uint64_t value);
uint64_t msr_read(uint32_t index);