00001 #ifndef __TRAP_DABORT_H__ 00002 #define __TRAP_DABORT_H__ 00003 #include <hvmm_types.h> 00004 00005 hvmm_status_t trap_hvc_dabort(unsigned int iss, struct arch_regs *regs); 00006 00007 #endif