Home
last modified time | relevance | path

Searched refs:gdt_base (Results 1 – 1 of 1) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvmcs.c92 uint64_t gdt_base; in init_host_state() local
139 gdt_base = sgdt(); in init_host_state()
141 if (((gdt_base >> 47U) & 0x1UL) != 0UL) { in init_host_state()
142 gdt_base |= 0xffff000000000000UL; in init_host_state()
146 exec_vmwrite(VMX_HOST_GDTR_BASE, gdt_base); in init_host_state()
147 pr_dbg("VMX_HOST_GDTR_BASE: 0x%x ", gdt_base); in init_host_state()

Completed in 5 milliseconds