ARMv8: use mackerel functions to read SP_EL0 reagister
#include <wakeup.h>
#include <irq.h>
#include <arch/arm/gic.h>
+#include <dev/armv8_dev.h>
void handle_user_page_fault(lvaddr_t fault_address,
arch_registers_state_t* save_area,
@@ -210,7 +211,7 @@ void handle_irq(arch_registers_state_t* save_area, uintptr_t fault_pc,
save_area->named.x1 = x1;
save_area->named.x2 = x2;
save_area->named.x3 = x3;
- save_area->named.stack = sysreg_read_sp_el0();
+ save_area->named.stack = armv8_SP_EL0_rd(NULL);
save_area->named.pc = fault_pc;
irq = gic_get_active_irq();
