//
// Copyright (C) 2022 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#ifndef SECURE_ENV_TPM_FFI_H_
#define SECURE_ENV_TPM_FFI_H_

#include <stdint.h>

// C-based entrypoints for accessing TPM functionality, for use by Rust code.
// Rust equivalents are generated using `bindgen`.

#ifdef __cplusplus
extern "C" {
#endif

/**
 * Provide an FFI-accessible version of `TpmHmacWithContext`.
 * Returns 0 on success, 1 on error.
 */
uint32_t tpm_hmac(void* trm, const uint8_t* data, uint32_t data_len,
                  uint8_t* tag, uint32_t tag_len);

void secure_env_log(const char* file, unsigned int line, int severity,
                    const char* tag, const char* msg);

#ifdef __cplusplus
}
#endif

#endif  // SECURE_ENV_TPM_FFI_H_
