Changeset View
Changeset View
Standalone View
Standalone View
sys/amd64/vmm/vmm_host.h
Show First 20 Lines • Show All 66 Lines • ▼ Show 20 Lines | |||||
static __inline uint64_t | static __inline uint64_t | ||||
vmm_get_host_gdtrbase(void) | vmm_get_host_gdtrbase(void) | ||||
{ | { | ||||
return ((uint64_t)&gdt[NGDT * curcpu]); | return ((uint64_t)&gdt[NGDT * curcpu]); | ||||
} | } | ||||
struct pcpu; | |||||
extern struct pcpu __pcpu[]; | |||||
static __inline uint64_t | static __inline uint64_t | ||||
vmm_get_host_gsbase(void) | vmm_get_host_gsbase(void) | ||||
{ | { | ||||
return ((uint64_t)&__pcpu[curcpu]); | return ((uint64_t)&__pcpu[curcpu]); | ||||
} | } | ||||
#endif | #endif |