Searched defs:guest_msrs (Results 1 – 2 of 2) sorted by relevance
319 uint64_t *guest_msrs; in vmx_msr_guest_init() local353 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_enter() local377 uint64_t *guest_msrs = vmx->guest_msrs[vcpuid]; in vmx_msr_guest_exit() local415 const uint64_t *guest_msrs; in vmx_rdmsr() local456 uint64_t *guest_msrs; in vmx_wrmsr() local
130 uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM]; member