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