Constant STATUS_TPM_BAD_COUNTER 

pub const STATUS_TPM_BAD_COUNTER: NTSTATUS;