changed parameters form `kernel_pid_t` to `int`