syscall.sh / microblaze / tkill

tkill

send a signal to a thread

sys_tkill(pid_t pid, int sig)
number238 (0xee)
abicommon
entry pointsys_tkill
sinceLinux 5.0
man pagetkill(2)
sourceelixir.bootlin.com

Registers

registervalue
r12238, the syscall number
r5pid_t pid
r6int sig
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/tkill