Searched refs:external_pid (Results 1 – 1 of 1) sorted by relevance
43 static inline int external_pid(void) in external_pid() function80 { external_pid(), task }); in set_current()