v3_get_msr(VMX_MISC_MSR, &(hw_info->misc_info.hi), &(hw_info->misc_info.lo));
- PrintError("BASIC_MSR: Lo: %x, Hi: %x\n", hw_info->basic_info.lo, hw_info->basic_info.hi);
+ PrintError(VM_NONE, VCORE_NONE, "BASIC_MSR: Lo: %x, Hi: %x\n", hw_info->basic_info.lo, hw_info->basic_info.hi);
get_ex_ctrl_caps(hw_info, &(hw_info->pin_ctrls), VMX_PINBASED_CTLS_MSR, VMX_TRUE_PINBASED_CTLS_MSR);
get_ex_ctrl_caps(hw_info, &(hw_info->proc_ctrls), VMX_PROCBASED_CTLS_MSR, VMX_TRUE_PROCBASED_CTLS_MSR);
/* Get secondary PROCBASED controls if secondary controls are available (optional or required) */
/* Intel Manual 3B. Sect. G.3.3 */
- if ( ((hw_info->proc_ctrls.req_mask & 0x80000000) == 0) ||
- ((hw_info->proc_ctrls.req_val & 0x80000000) == 1) ) {
+ if ( (!(hw_info->proc_ctrls.req_mask & 0x80000000)) ||
+ (hw_info->proc_ctrls.req_val & 0x80000000) ) {
get_ctrl_caps(&(hw_info->sec_proc_ctrls), VMX_PROCBASED_CTLS2_MSR);