127989a8eSAntonio Nino Diaz /* 227989a8eSAntonio Nino Diaz * Copyright (c) 2012-2017 Roberto E. Vargas Caballero 327989a8eSAntonio Nino Diaz * 427989a8eSAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 527989a8eSAntonio Nino Diaz */ 67c0ff9c4SAntonio Nino Diaz /* 7*b382ac68SBence Szépkúti * Portions copyright (c) 2018-2019, ARM Limited and Contributors. 87c0ff9c4SAntonio Nino Diaz * All rights reserved. 97c0ff9c4SAntonio Nino Diaz */ 1027989a8eSAntonio Nino Diaz 112fb88cb2SAntonio Nino Diaz #ifndef TIME_H 122fb88cb2SAntonio Nino Diaz #define TIME_H 1327989a8eSAntonio Nino Diaz 147c0ff9c4SAntonio Nino Diaz #include <time_.h> 1527989a8eSAntonio Nino Diaz 16*b382ac68SBence Szépkúti typedef long int time_t; 17*b382ac68SBence Szépkúti 1827989a8eSAntonio Nino Diaz #ifndef NULL 1927989a8eSAntonio Nino Diaz #define NULL ((void *) 0) 2027989a8eSAntonio Nino Diaz #endif 2127989a8eSAntonio Nino Diaz 222fb88cb2SAntonio Nino Diaz #endif /* TIME_H */ 23