diff --git a/apps/system/generic/machine/zynqmp_r5/helper.c b/apps/system/generic/machine/zynqmp_r5/helper.c
index ce0a0525057f2737fb925a794d8e309d42f8ce4b..e2c8a966a9cf951fb3984a878f2418c1d8012b4b 100644 (file)
#include "xparameters.h"
#include "xil_exception.h"
#include "xscugic.h"
+#include "xil_cache.h"
+#include "metal/sys.h"
#define INTC_DEVICE_ID XPAR_SCUGIC_0_DEVICE_ID
{
zynqmp_r5_gic_initialize();
}
+
+void cleanup_system()
+{
+ metal_finish();
+ Xil_DCacheDisable();
+ Xil_ICacheDisable();
+ Xil_DCacheInvalidate();
+ Xil_ICacheInvalidate();
+}