// SPDX-License-Identifier: BSD-2-Clause
/*
 * SPDX-FileCopyrightText: Copyright (c) 2025, NVIDIA CORPORATION & AFFILIATES. All rights reserved.
 */

#ifndef __JETSON_EKB_EXTRACTION_H__
#define __JETSON_EKB_EXTRACTION_H__

#include <tee_api_types.h>

/* extract ekb contents. */
TEE_Result jetson_ekb_extraction(vaddr_t ekb_base_addr);

#endif /* __JETSON_EKB_EXTRACTION_H__ */
