Disassembly of section .text.__phys_addr:

ffffffc0000878b0 <__phys_addr>:
ffffffc0000878b0:       a9be7bfd        stp     x29, x30, [sp, #-32]!
ffffffc0000878b4:       910003fd        mov     x29, sp
ffffffc0000878b8:       a90153f3        stp     x19, x20, [sp, #16]
ffffffc0000878bc:       d00004b4        adrp    x20, ffffffc00011d000 <boot_cpu_pda+0x1000>
ffffffc0000878c0:       aa0003f3        mov     x19, x0
ffffffc0000878c4:       f9430281        ldr     x1, [x20, #1536]
ffffffc0000878c8:       f0000120        adrp    x0, ffffffc0000ae000 <psci_of_match+0x1f58>
ffffffc0000878cc:       9104a000        add     x0, x0, #0x128
ffffffc0000878d0:       94000534        bl      ffffffc000088da0 <printk>
ffffffc0000878d4:       92c00800        mov     x0, #0xffffffbfffffffff         // #-274877906945
ffffffc0000878d8:       eb00027f        cmp     x19, x0
ffffffc0000878dc:       540000c9        b.ls    ffffffc0000878f4 <__phys_addr+0x44>  // b.plast
ffffffc0000878e0:       f9430280        ldr     x0, [x20, #1536]
ffffffc0000878e4:       d2c00801        mov     x1, #0x4000000000               // #274877906944
ffffffc0000878e8:       8b010000        add     x0, x0, x1
ffffffc0000878ec:       8b130000        add     x0, x0, x19
ffffffc0000878f0:       14000003        b       ffffffc0000878fc <__phys_addr+0x4c>
ffffffc0000878f4:       d2c00800        mov     x0, #0x4000000000               // #274877906944
ffffffc0000878f8:       8b000260        add     x0, x19, x0
ffffffc0000878fc:       a94153f3        ldp     x19, x20, [sp, #16]
ffffffc000087900:       a8c27bfd        ldp     x29, x30, [sp], #32
ffffffc000087904:       d65f03c0        ret