#include "com_type.h"
#include "debug.h"
#include "lgpl_printf.h"

#define UNUSED(var) do { (void)(var); } while(0)
typedef unsigned int  uint32_t;

struct pt_regs{
	unsigned long elr;
	unsigned long regs[31];
};

void EnableIRQ(void)
{
	__asm__ __volatile__(
		"MSR     DAIFCLR, #2"   "\n\t"
		:
		:
		:"cc"
	);
}

uint32_t getMPid(void)
{
	unsigned int val;
	asm volatile("mrs %0, MPIDR_EL1" : "=r" (val) : : "cc");
	val &= 0xf;
	return val;
}

void do_sync(struct pt_regs *pt_regs, unsigned int esr)
{
	UNUSED(pt_regs);
	UNUSED(esr);
	lgpl_printf("\"Synchronous Abort\" handler, esr 0x%08x\n", esr);
	while(1);
}