7#define ARCH_SET_GS 0x1001
8#define ARCH_SET_FS 0x1002
9#define ARCH_GET_FS 0x1003
10#define ARCH_GET_GS 0x1004
11#define ARCH_GET_CPUID 0x1011
12#define ARCH_SET_CPUID 0x1012
31 *(
unsigned long*)
addr = thr->fs_base;
36 *(
unsigned long*)
addr = thr->gs_base;
int syscall_arch_prctl(int code, unsigned long addr)
each_core_data * get_current_core_data(void)
void serial2_printf(const char *fmt,...)
void msrSetFSBase(uint64_t base)
void msrSetKernelGSBase(uint64_t base)