#ifndef _SPL_TYPES32_H
#define	_SPL_TYPES32_H

#include <sys/int_types.h>
#include <sys/types.h>

typedef uint32_t	caddr32_t;
typedef int32_t		daddr32_t;
typedef int32_t		time32_t;
typedef uint32_t	size32_t;

#endif	/* _SPL_TYPES32_H */