/*
 * \brief  Emulation of the Linux userland API
 * \author Josef Soentgen
 * \date   2014-07-25
 *
 * The content of this file, in particular data structures, is partially
 * derived from Linux headers.
 */

/*
 * Copyright (C) 2014-2017 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
 * version 2.
 */

#ifndef _32BIT__PLATFORM__TYPES_H_
#define _32BIT__PLATFORM__TYPES_H_


typedef long long           int64_t;
typedef unsigned long long uint64_t;

#endif /* _32BIT__PLATFORM__TYPES_H_ */
