21 lines
281 B
C
21 lines
281 B
C
#ifndef ARCH_MSR_H_
|
|
#define ARCH_MSR_H_
|
|
|
|
#include <stdint.h>
|
|
|
|
#define MSR_GS_BASE 0xC0000101
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
/* defined in cpu_ctrl.S */
|
|
extern uint64_t rdmsr(uint32_t id);
|
|
extern void wrmsr(uint32_t id, uint64_t val);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif
|