syscall.sh / microblaze / pkey_free

pkey_free

allocate or free a protection key

sys_pkey_free(int pkey)
number397 (0x18d)
abicommon
entry pointsys_pkey_free
sinceLinux 5.0
man pagepkey_free(2)
sourceelixir.bootlin.com

Registers

registervalue
r12397, the syscall number
r5int pkey
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/pkey_free