pub const STATUS_TPM_BAD_COUNTER: NTSTATUS = -1071054779i32;