/*
 * =====================================================================================
 *
 *  Filename:  kg_hotp.h
 *
 *  Description:  KG hotp
 *
 *  Version:  1.0
 *  Created:  02/27/2020 13:46:00 PM
 *  Revision:  none
 *  Compiler:  gcc
 *
 *  Company:  Samsung Electronics
 *  Copyright (c) 2020 by Samsung Electronics, All rights reserved.
 *
 * =====================================================================================
 */
#ifndef __KG_HOTP_H__
#define __KG_HOTP_H__

#include <stdint.h>
#include "kg_log.h"
#include "kg_defs.h"
#include "kg_utils.h"
#include "kg_rpmb.h"
#include "tee_internal_api.h"

uint32_t hotp_passcode(uint8_t *key, uint32_t key_len, uint8_t *current_pass, 
    uint32_t current_pass_len, uint8_t *update_pass, uint32_t *update_pass_len);

uint32_t hotp_challenge(uint8_t *key, uint32_t key_len, uint8_t *current_pass, 
    uint32_t current_pass_len, uint8_t *challenge, uint32_t *challenge_len);

#endif /* __KG_HOTP_H__ */