pub const SysDbgReadMsr: SYSDBG_COMMAND = 16;