ASM_PFX(ArmCpuSynchronizeWait):\r
cmp r0, #ARM_CPU_EVENT_BOOT_MEM_INIT\r
// The SCU enabled is the event to tell us the Init Boot Memory is initialized\r
- beq ArmWaitScuEnabled\r
- b CArmCpuSynchronizeWait\r
+ beq ASM_PFX(ArmWaitScuEnabled)\r
+ b ASM_PFX(CArmCpuSynchronizeWait)\r
\r
// IN None\r
// OUT r0 = SCU Base Address\r
add r0, r0, #A9_SCU_CONTROL_OFFSET\r
ldr r0, [r0]\r
cmp r0, #1\r
- bne ArmWaitScuEnabled\r
+ bne ASM_PFX(ArmWaitScuEnabled)\r
bx lr\r