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)16TEE_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