Searched refs:excp_type (Results 1 – 1 of 1) sorted by relevance
777 arm64_handle_world_switch(struct hypctx *hypctx, int excp_type, in arm64_handle_world_switch() argument782 switch (excp_type) { in arm64_handle_world_switch()792 excp_type == EXCP_TYPE_EL1_IRQ ? VMEXIT_IRQ : VMEXIT_FIQ,1); in arm64_handle_world_switch()1064 uint64_t excp_type; in vmmops_run() local1145 excp_type = vmm_enter_guest(hyp, hypctx); in vmmops_run()1157 if (excp_type == EXCP_TYPE_MAINT_IRQ) in vmmops_run()1162 vme->u.hyp.exception_nr = excp_type; in vmmops_run()1167 handled = arm64_handle_world_switch(hypctx, excp_type, vme, in vmmops_run()