/*
 * Copyright (c) 2012-2017 Roberto E. Vargas Caballero
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
/*
 * Portions copyright (c) 2018-2019, ARM Limited and Contributors.
 * All rights reserved.
 */

#ifndef STDLIB_H
#define STDLIB_H

#include <stddef.h>

#define EXIT_FAILURE 1
#define EXIT_SUCCESS 0

#define _ATEXIT_MAX 1

#define	RAND_MAX	0x7ffffffd

extern void abort(void);
extern int atexit(void (*func)(void));
extern void exit(int status);

int rand(void);
void srand(unsigned int seed);

#endif /* STDLIB_H */