#ifndef _MACHINE__TYPES_H
#define	_MACHINE__TYPES_H

#include <machine/_default_types.h>

typedef	__int32_t	__blkcnt_t;
#define	__machine_blkcnt_t_defined

typedef	__int32_t	__blksize_t;
#define	__machine_blksize_t_defined

typedef	__uint64_t	__dev_t;
#define	__machine_dev_t_defined

typedef	__int64_t	_off_t;
#define	__machine_off_t_defined

typedef	_off_t		_fpos_t;
#define	__machine_fpos_t_defined

typedef	__uint64_t	__ino_t;
#define	__machine_ino_t_defined

typedef	__uint32_t	__mode_t;
#define	__machine_mode_t_defined

typedef	__uint64_t	_CLOCK_T_;
#define	__machine_clock_t_defined

typedef	int		_CLOCKID_T_;
#define	__machine_clockid_t_defined

typedef	int		__accmode_t;	/* access permissions */
typedef	__uint32_t	__fixpt_t;	/* fixed point number */
typedef	int		__lwpid_t;	/* Thread ID (a.k.a. LWP) */
typedef	__int64_t	__rlim_t;	/* resource limit - intentionally */
					/* signed, because of legacy code */
					/* that uses -1 for RLIM_INFINITY */

#endif /* _MACHINE__TYPES_H */
