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