/*
 * \brief  Memory region types
 * \author Alexander Boettcher
 * \date   2016-08-22
 */

/*
 * Copyright (C) 2016 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
 * version 2.
 */

#ifndef _VIRTUALBOX__SPEC__NOVA__VMM_REGION_H_
#define _VIRTUALBOX__SPEC__NOVA__VMM_REGION_H_
#include "vmm_region.h"
#endif
