Lines Matching defs:intr_info
254 static inline bool is_page_fault(u32 intr_info)
256 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |
261 static inline bool is_no_device(u32 intr_info)
263 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |
268 static inline bool is_invalid_opcode(u32 intr_info)
270 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |
275 static inline bool is_external_interrupt(u32 intr_info)
277 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VALID_MASK))
281 static inline bool is_machine_check(u32 intr_info)
283 return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |
1038 u32 intr_info = nr | INTR_INFO_VALID_MASK;
1042 intr_info |= INTR_INFO_DELIVER_CODE_MASK;
1052 intr_info |= INTR_TYPE_SOFT_INTR;
1053 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr_info);
1062 intr_info |= INTR_TYPE_SOFT_EXCEPTION;
1064 intr_info |= INTR_TYPE_HARD_EXCEPTION;
1066 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr_info);
3020 u32 intr_info, ex_no, error_code;
3026 intr_info = vmcs_read32(VM_EXIT_INTR_INFO);
3028 if (is_machine_check(intr_info))
3032 !is_page_fault(intr_info)) {
3037 vcpu->run->internal.data[1] = intr_info;
3041 if ((intr_info & INTR_INFO_INTR_TYPE_MASK) == INTR_TYPE_NMI_INTR)
3044 if (is_no_device(intr_info)) {
3049 if (is_invalid_opcode(intr_info)) {
3058 if (intr_info & INTR_INFO_DELIVER_CODE_MASK)
3060 if (is_page_fault(intr_info)) {
3073 handle_rmode_exception(vcpu, intr_info & INTR_INFO_VECTOR_MASK,
3082 ex_no = intr_info & INTR_INFO_VECTOR_MASK;