Symbol: GUEST_MSR_NUM
usr/src/uts/intel/io/vmm/intel/vmx.h
135
uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM];
usr/src/uts/intel/io/vmm/intel/vmx.h
136
uint64_t host_msrs[VM_MAXCPU][GUEST_MSR_NUM];