ffffffc000085430 <cpu_psci_cpu_boot>:
ffffffc000085430:       a9be7bfd        stp     x29, x30, [sp, #-32]!
ffffffc000085434:       910003fd        mov     x29, sp
ffffffc000085438:       a90153f3        stp     x19, x20, [sp, #16]
ffffffc00008543c:       2a0003f4        mov     w20, w0
ffffffc000085440:       b0ffffe0        adrp    x0, ffffffc000082000 <memmove+0x40>
ffffffc000085444:       911c0000        add     x0, x0, #0x700
ffffffc000085448:       94000bdc        bl      ffffffc0000883b8 <__phys_addr>
ffffffc00008544c:       93407c13        sxtw    x19, w0