Searched refs:w32_timerid (Results 1 – 2 of 2) sorted by relevance
3057 w32_timerid = SetTimer(NULL, w32_timerid, sec*1000, NULL); in win32_alarm()3059 w32_timerid = 1; in win32_alarm()3064 if (w32_timerid) { in win32_alarm()3065 KillTimer(w32_message_hwnd, w32_timerid); in win32_alarm()3066 w32_timerid = 0; in win32_alarm()5612 if (w32_timerid && w32_timerid==(UINT)wParam) { in win32_process_message()5614 w32_timerid=0; in win32_process_message()5699 w32_timerid = 0;5735 if (w32_timerid) {5736 KillTimer(w32_message_hwnd, w32_timerid);[all …]
548 #define w32_timerid (PL_sys_intern.timerid) macro