Searched refs:int_ctl_vmcb01_bits (Results 1 – 1 of 1) sorted by relevance
825 u32 int_ctl_vmcb01_bits = V_INTR_MASKING_MASK; in nested_vmcb02_prepare_control() local847 int_ctl_vmcb01_bits |= (V_GIF_MASK | V_GIF_ENABLE_MASK); in nested_vmcb02_prepare_control()922 (vmcb01->control.int_ctl & int_ctl_vmcb01_bits); in nested_vmcb02_prepare_control()