#ifndef _KERNEL_AMD64_MSR_H
#define _KERNEL_AMD64_MSR_H

#include <libk/std.h>

uint64_t amd64_rdmsr (uint32_t msr);
void amd64_wrmsr (uint32_t msr, uint64_t value);

#endif // _KERNEL_AMD64_MSR_H