Searched defs:exit_int_info (Results 1 – 2 of 2) sorted by relevance
618 u32 exit_int_info = 0; in nested_save_pending_event_to_vmcb12() local
191 u32 exit_int_info; member