GUEST_MSR_NUM
uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM];
uint64_t host_msrs[VM_MAXCPU][GUEST_MSR_NUM];