1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2022, Microchip
4  */
5 
6 #ifndef __DRIVERS_ATMEL_RTC_H
7 #define __DRIVERS_ATMEL_RTC_H
8 
9 #include <drivers/rtc.h>
10 #include <tee_api_types.h>
11 
12 #ifdef CFG_ATMEL_RTC
13 TEE_Result atmel_rtc_get_tamper_timestamp(struct optee_rtc_time *tm);
14 #else
15 static inline
atmel_rtc_get_tamper_timestamp(struct optee_rtc_time * tm __unused)16 TEE_Result atmel_rtc_get_tamper_timestamp(struct optee_rtc_time *tm __unused)
17 {
18 	return TEE_ERROR_NOT_SUPPORTED;
19 }
20 #endif
21 
22 #endif /* __DRIVERS_ATMEL_RTC_H */
23