Searched refs:idtrbase (Results 1 – 1 of 1) sorted by relevance
346 uint64_t pat, fsbase, idtrbase; in vmcs_init() local411 idtrbase = vmm_get_host_idtrbase(); in vmcs_init()412 if ((error = vmwrite(VMCS_HOST_IDTR_BASE, idtrbase)) != 0) in vmcs_init()