Searched defs:intr_info (Results 1 – 1 of 1) sorted by relevance
9246 u32 intr_info = vmcs_read(EXI_INTR_INFO); in check_db_exit() local10774 u32 intr_info; in handle_exception_in_l1() local