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