diff --git a/src/arch/x86/include/arch/smp/mpspec.h b/src/arch/x86/include/arch/smp/mpspec.h
index 80ae7e8..ee5e021 100644
--- a/src/arch/x86/include/arch/smp/mpspec.h
+++ b/src/arch/x86/include/arch/smp/mpspec.h
@@ -102,7 +102,7 @@
 	u8 mpc_apicver;
 	u8 mpc_flags;
 #define MPC_APIC_USABLE		0x01
-	void *mpc_apicaddr;
+	uintptr_t mpc_apicaddr;
 } __packed;
 
 struct mpc_config_intsrc {
diff --git a/src/arch/x86/mpspec.c b/src/arch/x86/mpspec.c
index d6f0cd5b..fde2ffa 100644
--- a/src/arch/x86/mpspec.c
+++ b/src/arch/x86/mpspec.c
@@ -215,7 +215,7 @@
 	mpc->mpc_apicid = id;
 	mpc->mpc_apicver = ver;
 	mpc->mpc_flags = MPC_APIC_USABLE;
-	mpc->mpc_apicaddr = (void *)apicaddr;
+	mpc->mpc_apicaddr = apicaddr;
 	smp_add_mpc_entry(mc, sizeof(*mpc));
 }