Searched refs:fsbase (Results 1 – 1 of 1) sorted by relevance
346 uint64_t pat, fsbase, idtrbase; in vmcs_init() local407 fsbase = vmm_get_host_fsbase(); in vmcs_init()408 if ((error = vmwrite(VMCS_HOST_FS_BASE, fsbase)) != 0) in vmcs_init()