Searched defs:guest_msrs (Results 1 – 3 of 3) sorted by relevance
338 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_init() local395 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_enter() local415 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_exit() local437 const uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_rdmsr() local470 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_wrmsr() local
135 uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM]; member
3276 uint64_t *guest_msrs = vmx->guest_msrs[vcpu]; in vmx_msr_ptr() local