Also, include smccc.h instead of psci.h.
Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Andrii Anisov <andrii_anisov@epam.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
#include <asm/cpufeature.h>
#include <asm/debugger.h>
#include <asm/event.h>
-#include <asm/flushtlb.h>
#include <asm/hsr.h>
#include <asm/mmio.h>
-#include <asm/monitor.h>
-#include <asm/psci.h>
#include <asm/regs.h>
+#include <asm/smccc.h>
#include <asm/traps.h>
#include <asm/vgic.h>
#include <asm/vtimer.h>