../src/kernel/ntqtimer.h