Searched defs:guest_msrs (Results 1 – 3 of 3) sorted by relevance
326 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_init() local383 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_enter() local403 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_exit() local425 const uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_rdmsr() local458 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_wrmsr() local
132 uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM]; member
3273 uint64_t *guest_msrs = vmx->guest_msrs[vcpu]; in vmx_msr_ptr() local