The kernel stores and reads the system time value using this format.
typedef struct tagKnTime { DWORD lo; DWORD hi; } KNTIME, *LPKNTIME;
lo
hi
knGetKernelTime, knSetKernelTime