Symbol: GUEST_MSR_NUM
sys/amd64/vmm/intel/vmx.h
133
uint64_t guest_msrs[GUEST_MSR_NUM];
sys/amd64/vmm/intel/vmx_msr.c
173
static uint64_t host_msrs[GUEST_MSR_NUM];