SVM_HOST_MSR_NUM
CTASSERT(HOST_MSR_NUM == SVM_HOST_MSR_NUM);
uint64_t host_msrs[VM_MAXCPU][SVM_HOST_MSR_NUM];