V_INTR_PRIO_SHIFT
#define V_INTR_PRIO_MASK (0x0f << V_INTR_PRIO_SHIFT)
((/*control->int_vector >> 4*/ 0xf) << V_INTR_PRIO_SHIFT);
#define V_INTR_PRIO_MASK (0x0f << V_INTR_PRIO_SHIFT)
vmcb->control.int_ctl |= V_IRQ_MASK | (0x1 << V_INTR_PRIO_SHIFT);