Re: [PATCH v2 1/3] ntdll: Separate NtGetTickCount from get_tick_count64.