pub unsafe fn thread_getpid() -> kernel_pid_t