open_thread_token 7217 src/w32.c        res = open_thread_token (h_thread,
open_thread_token 7223 src/w32.c      	  res = open_thread_token (h_thread,
open_thread_token 7250 src/w32.c        if (open_thread_token (GetCurrentThread (),