#ifndef __GILBRALTAR_EXCEPTION_HANDLER__
#define __GILBRALTAR_EXCEPTION_HANDLER__

#include <stdint.h>

struct __attribute__((packed)) frame {
  uint64_t esr_el1;
  uint64_t spsr_el1;
  uint64_t x30;
  uint64_t elr_el1;
  uint64_t sp_el0;
  uint64_t sp_el1;
  uint64_t far_el1;
  uint64_t unused;
};

void gilbraltar_exception_handler(uint64_t, struct frame *);

#endif