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