#ifndef TYPES_H
#define TYPES_H

#include "sizes.h"

typedef u64 dev_t;
typedef u32 mode_t;

static dev_t inline device(dev_t major, dev_t minor)
{
	dev_t dev;
	dev  = (((dev_t) (major & 0x00000fffu)) <<  8);
	dev |= (((dev_t) (major & 0xfffff000u)) << 32);
	dev |= (((dev_t) (minor & 0x000000ffu)) <<  0);
	dev |= (((dev_t) (minor & 0xffffff00u)) << 12);
	return dev;
}

#endif