Searched defs:excp_type (Results 1 – 1 of 1) sorted by relevance
778 arm64_handle_world_switch(struct hypctx * hypctx,int excp_type,struct vm_exit * vme,pmap_t pmap) arm64_handle_world_switch() argument 1065 uint64_t excp_type; vmmops_run() local