Searched defs:excp_type (Results 1 – 1 of 1) sorted by relevance
775 arm64_handle_world_switch(struct hypctx *hypctx, int excp_type, in arm64_handle_world_switch()1062 uint64_t excp_type; in vmmops_run() local