From 58e4e34fa5db60e14dfe9a96d6b917624a93c222 Mon Sep 17 00:00:00 2001
From: Astro <astro@spaceboyz.net>
Date: Fri, 10 Apr 2020 20:29:20 +0200
Subject: [PATCH] libsupport_zynq: fix a cast

---
 libsupport_zynq/src/boot.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsupport_zynq/src/boot.rs b/libsupport_zynq/src/boot.rs
index 373341f..d442bcb 100644
--- a/libsupport_zynq/src/boot.rs
+++ b/libsupport_zynq/src/boot.rs
@@ -142,7 +142,7 @@ impl<S: AsMut<[u32]>> Core1<S> {
         // Ensure stack pointer has been written to cache
         asm::dmb();
         // Flush cache-line
-        cache::dccmvac(unsafe { &CORE1_STACK } as *const _ as u32);
+        cache::dccmvac(unsafe { &CORE1_STACK } as *const _ as usize);
 
         // wake up core1
         slcr::RegisterBlock::unlocked(|slcr| {