Searched refs:int_vector (Results 1 – 2 of 2) sorted by relevance
88 u32 int_vector; member
1423 vmcb->control.int_vector = NMI_VECTOR; in vnmi_prepare()1571 vmcb->control.int_vector = 0xf1; in virq_inject_prepare()