#include "tpm.h"

stkb_rc tpm2_init(void)
{
    return STKB_TPM_UNAVAILABLE;
}

stkb_rc tpm2_keygen(uint8_t *out_pub, uint8_t *out_buffer, size_t buffer_size,
                    size_t *written, stkb_user_input input)
{
    (void)out_pub;
    (void)out_buffer;
    (void)buffer_size;
    (void)written;
    (void)input;
    return STKB_TPM_UNAVAILABLE;
}

stkb_rc tpm2_compute_ss(uint8_t *ss, const uint8_t *blob, size_t blob_len,
                        const uint8_t *pk, stkb_user_input input)
{
    (void)ss;
    (void)blob;
    (void)blob_len;
    (void)pk;
    (void)input;
    return STKB_TPM_UNAVAILABLE;
}