genode/libports/include/python/x86_64/genode_defs.h

/*
 * \brief  Data type size definitions (32 Bit)
 * \author Sebastian Sumpf
 * \date   2010-02-17
 */

/*
 * Copyright (C) 2010-2013 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#ifndef _PYTHON__GENODE_DEFS_H_
#define _PYTHON__GENODE_DEFS_H_

#define GENODE_SIZEOF_LONG 8
#define GENODE_SIZEOF_INT  4

#endif /* _PYTHON__GENODE_DEFS_H_ */
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`/*`
			`* \brief Data type size definitions (32 Bit)`
			`* \author Sebastian Sumpf`
			`* \date 2010-02-17`
			`*/`

			`/*`
Update copyright headers to 2013 2013-01-10 20:44:47 +00:00			`* Copyright (C) 2010-2013 Genode Labs GmbH`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`*`
			`* This file is part of the Genode OS framework, which is distributed`
			`* under the terms of the GNU General Public License version 2.`
			`*/`

			`#ifndef _PYTHON__GENODE_DEFS_H_`
			`#define _PYTHON__GENODE_DEFS_H_`

			`#define GENODE_SIZEOF_LONG 8`
			`#define GENODE_SIZEOF_INT 4`

			`#endif /* _PYTHON__GENODE_DEFS_H_ */`