Sync with trunk (48237)
[reactos.git] / ntoskrnl / ke / amd64 / irql.c