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