[PATCH v2 07/13 gnumach] smp: Truncate to lower 32 bits of apboot_addr

[Damien Zammit]

Since apboot_addr is a low 32 bit address and we don't want
to write 64 bits to the destination.
---
 i386/i386at/model_dep.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index e713cc8a..fb3c93d4 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -222,8 +222,8 @@ void machine_init(void)
         * Patch the realmode gdt with the correct offset and the first jmp to
         * protected mode with the correct target.
         */
-       gdt_descr_tmp.linear_base += apboot_addr;
-       apboot_jmp_offset += apboot_addr;
+       gdt_descr_tmp.linear_base += (uint32_t)apboot_addr;
+       apboot_jmp_offset += (uint32_t)apboot_addr;
 #endif
 
 #ifdef APIC
-- 
2.45.2