syscall.sh / microblaze / sendfile64

sendfile64

transfer data between file descriptors

sys_sendfile64(int out_fd, int in_fd, loff_t *offset, size_t count)
number239 (0xef)
abicommon
entry pointsys_sendfile64
sinceLinux 5.0
man pagesendfile64(2)
sourceelixir.bootlin.com

Registers

registervalue
r12239, the syscall number
r5int out_fd
r6int in_fd
r7loff_t *offset
r8size_t count
r3the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures

Get this as JSON: https://api.syscall.sh/v2/syscalls/microblaze/sendfile64