10 lines
185 B
C
10 lines
185 B
C
#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
|