Lines Matching refs:intr_info
98 static inline int is_page_fault(u32 intr_info)
100 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |
105 static inline int is_no_device(u32 intr_info)
107 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |
112 static inline int is_external_interrupt(u32 intr_info)
114 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VALID_MASK))
1376 u32 intr_info, error_code;
1383 intr_info = vmcs_read32(VM_EXIT_INTR_INFO);
1386 !is_page_fault(intr_info)) {
1388 "intr info 0x%x\n", __FUNCTION__, vect_info, intr_info);
1397 if ((intr_info & INTR_INFO_INTR_TYPE_MASK) == 0x200) { /* nmi */
1402 if (is_no_device(intr_info)) {
1412 if (intr_info & INTR_INFO_DELIEVER_CODE_MASK)
1414 if (is_page_fault(intr_info)) {
1447 handle_rmode_exception(vcpu, intr_info & INTR_INFO_VECTOR_MASK,
1451 if ((intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK)) == (INTR_TYPE_EXCEPTION | 1)) {
1456 kvm_run->ex.exception = intr_info & INTR_INFO_VECTOR_MASK;