12 lines
255 B
C
12 lines
255 B
C
#ifndef HAL_CPU_H_
|
|
#define HAL_CPU_H_
|
|
|
|
#define HAL_CPU_FSBASE 0xC0000100
|
|
#define HAL_CPU_GSBASE 0xC0000101
|
|
#define HAL_CPU_KGSBASE 0xC0000102
|
|
|
|
uint64_t hal_cpu_rdmsr(uint32_t id);
|
|
uint64_t hal_cpu_wrmsr(uint32_t id, uint64_t val);
|
|
|
|
#endif // HAL_CPU_H_
|