1 /* SPDX-License-Identifier: GPL-2.0-only */
5 * Copyright (c) 2010-2012,2013, The Linux Foundation. All rights reserved.
8 #include <asm/hexagon_vm.h>
12 /* This is registered early on to allow angel */
13 .global _K_provisional_vec
20 trap1(#HVM_TRAP1_VMRTE)
25 .global _K_VM_event_vector
29 jump _K_enter_machcheck;
35 jump _K_enter_interrupt;