Searched refs:host_getpid (Results 1 – 3 of 3) sorted by relevance
123 if (host_getpid() != 1) in do_init()
166 int host_getpid(void);
52 host_getpid(void) in host_getpid() function