Searched refs:misc_high (Results 1 – 3 of 3) sorted by relevance
44 u32 misc_high; member
887 vmx->nested.msrs.misc_high); in nested_vmx_max_atomic_switch_msrs()1290 vmcs_config.nested.misc_high); in vmx_restore_vmx_misc()1311 vmx->nested.msrs.misc_high = data >> 32; in vmx_restore_vmx_misc()1468 msrs->misc_high); in vmx_get_vmx_msr()6956 msrs->misc_high = 0; in nested_vmx_setup_ctls_msrs()
569 int offset, u32 misc_high) in prepare_threshold_block() argument584 b.interrupt_capable = lvt_interrupt_supported(bank, misc_high); in prepare_threshold_block()592 new = (misc_high & MASK_LVTOFF_HI) >> 20; in prepare_threshold_block()
Completed in 27 milliseconds