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

#ifndef ADDR_SPACE_H_
#define ADDR_SPACE_H_

#define ADDR_SPACE_PREPARE_SWITCH() \
	__ADDR_SPACE_PREPARE_SWITCH()

#define ADDR_SPACE_FINISH_SWITCH() \
	__ADDR_SPACE_FINISH_SWITCH()

#include <module/embox/kernel/addr_space.h>

#endif /* ADDR_SPACE_H_ */

