/**
 * @file
 * @brief
 *
 * @author  Anton Kozlov
 * @date    07.03.2013
 */

#ifndef ARCH_USERMODE86_IPL_H_
#define ARCH_USERMODE86_IPL_H_

typedef int __ipl_t;

#endif /* ARCH_USERMODE86_IPL_H_ */

