Searched refs:vmm_get_host_trbase (Results 1 – 2 of 2) sorted by relevance
80 vmm_get_host_trbase(void) in vmm_get_host_trbase() function
1051 vmcs_write(VMCS_HOST_TR_BASE, vmm_get_host_trbase()); in vmx_set_pcpu_defaults()