Searched refs:vmm_get_host_gdtrbase (Results 1 – 2 of 2) sorted by relevance
86 vmm_get_host_gdtrbase(void) in vmm_get_host_gdtrbase() function
1052 vmcs_write(VMCS_HOST_GDTR_BASE, vmm_get_host_gdtrbase()); in vmx_set_pcpu_defaults()