[PATCH v2 06/13 gnumach] smp: Use uintptr_t on apboot pointers

[Damien Zammit]

Make smp 64b compatible.

---
 i386/i386/mp_desc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/i386/i386/mp_desc.c b/i386/i386/mp_desc.c
index b327d9ef..fff31822 100644
--- a/i386/i386/mp_desc.c
+++ b/i386/i386/mp_desc.c
@@ -285,7 +285,7 @@ start_other_cpus(void)
 
        //Copy cpu initialization assembly routine
        memcpy((void*) phystokv(apboot_addr), (void*) &apboot,
-              (uint32_t)&apbootend - (uint32_t)&apboot);
+              (uintptr_t)&apbootend - (uintptr_t)&apboot);
 
        unsigned cpu = cpu_number_slow();
 
-- 
2.45.2