1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2022, Linaro Limited
4  */
5 
6 #ifndef __DRIVERS_TPM2_MMIO_H__
7 #define __DRIVERS_TPM2_MMIO_H__
8 
9 #include <drivers/tpm2_chip.h>
10 #include <mm/core_memprot.h>
11 
12 enum tpm2_result tpm2_mmio_init(paddr_t pbase);
13 
14 #endif	/* __DRIVERS_TPM2_MMIO_H__ */
15 
16