Searched refs:vect_info (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/drivers/kvm/
H A Dvmx.c1378 u32 vect_info; local
1382 vect_info = vmcs_read32(IDT_VECTORING_INFO_FIELD);
1385 if ((vect_info & VECTORING_INFO_VALID_MASK) &&
1388 "intr info 0x%x\n", __FUNCTION__, vect_info, intr_info);
1391 if (is_external_interrupt(vect_info)) {
1392 int irq = vect_info & VECTORING_INFO_VECTOR_MASK;
2061 u32 vect_info = vmcs_read32(IDT_VECTORING_INFO_FIELD); local
2065 if (is_page_fault(vect_info)) {

Completed in 40 milliseconds