Searched refs:exit_cause_ids (Results 1 – 1 of 1) sorted by relevance
1708 uint16_t exit_cause_ids[16]; in exit_process_output_buffer() local1720 exit_id_count = get_exit_ids(*r3, exit_cause_ids); in exit_process_output_buffer()1726 type = guest_state_element_type_find(exit_cause_ids[i]); in exit_process_output_buffer()1728 element->id = cpu_to_be16(exit_cause_ids[i]); in exit_process_output_buffer()