HomeSort by relevance Sort by last modified time
    Searched full:w32_kill (Results 1 - 3 of 3) sorted by null

  /ndk/sources/host-tools/make-3.81/
commands.c 515 /* Cannot call W32_kill with a pid (it needs a handle). The exit
make.h 367 # define kill(pid,sig) w32_kill(pid,sig)
job.c 240 w32_kill(intptr_t pid, int sig)
238 w32_kill(intptr_t pid, int sig) function
    [all...]

Completed in 225 milliseconds