X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kern/arm/tramp-mp.S

diff --git a/kernel/fiasco/src/kern/arm/tramp-mp.S b/kernel/fiasco/src/kern/arm/tramp-mp.S
index b80cc26b4..e26fc5521 100644
--- a/kernel/fiasco/src/kern/arm/tramp-mp.S
+++ b/kernel/fiasco/src/kern/arm/tramp-mp.S
@@ -44,7 +44,8 @@ _tramp_mp_entry:
 	msr cpsr_c, r0
 
 	// enable SMP
-	mov r0, #0x1f000000
+	adr r0, .Lmpcore_phys_base
+	ldr r0, [r0]
 	ldr r1, [r0]
 	orr r1, #1
 	str r1, [r0]
@@ -96,6 +97,9 @@ _tramp_mp_entry:
 1:
 	.long _tramp_mp_virt
 
+.Lmpcore_phys_base:
+	.long MPCORE_PHYS_BASE
+
 	// we run paged now
 _tramp_mp_virt:
 	ldr	r0, _cpu_counter_address