2024-12-20 22:45:12 +00:00
|
|
|
#ifndef __GILBRALTAR_EXCEPTION_HANDLER__
|
|
|
|
#define __GILBRALTAR_EXCEPTION_HANDLER__
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2024-12-23 00:46:17 +00:00
|
|
|
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;
|
2024-12-20 22:45:12 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
void gilbraltar_exception_handler(uint64_t, struct frame *);
|
|
|
|
|
|
|
|
#endif
|