syscall.sh / microblaze / userfaultfd

userfaultfd

create a file descriptor for handling page faults in user space

sys_userfaultfd(int flags)
number389 (0x185)
abicommon
entry pointsys_userfaultfd
sinceLinux 5.0
man pageuserfaultfd(2)
sourceelixir.bootlin.com

Registers

registervalue
r12389, the syscall number
r5int flags
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/userfaultfd