#ifndef _KERNEL_AMD64_MSR_H
#define _KERNEL_AMD64_MSR_H

#include <libk/std.h>

uint64_t rdmsr (uint32_t msr);
void wrmsr (uint32_t msr, uint64_t value);

#endif // _KERNEL_AMD64_MSR_H