Searched refs:int_ctl_vmcb12_bits (Results 1 – 1 of 1) sorted by relevance
635 u32 int_ctl_vmcb12_bits = V_TPR_MASK | V_IRQ_INJECTION_BITS_MASK; in nested_vmcb02_prepare_control() local650 int_ctl_vmcb12_bits |= (V_GIF_MASK | V_GIF_ENABLE_MASK); in nested_vmcb02_prepare_control()660 int_ctl_vmcb12_bits |= (V_NMI_PENDING_MASK | in nested_vmcb02_prepare_control()691 (svm->nested.ctl.int_ctl & int_ctl_vmcb12_bits) | in nested_vmcb02_prepare_control()