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