src/internal/aarch64_sel4/syscall.s

.global __syscall
.type __syscall,%function
__syscall:
    adr x9, 1f
    ldr x10, 1f
    ldr x9, [x9,x10]
    br  x9

.hidden __sysinfo
1:  .dword __sysinfo-1b