/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */
#ifndef __TIME_H
#define __TIME_H

#include <stddef.h>
#include <stdint.h>

typedef int64_t time_t;

#endif /*__TIME_H*/