#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_