pub const STATUS_TPM_BAD_COUNTER: NTSTATUS;