/*
 * Copyright 2005, Axel Dörfler, axeld@pinc-software.de.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_ARCH_VM_TYPES_H
#define KERNEL_ARCH_VM_TYPES_H

#include <arch_vm_types.h>

#endif  /* KERNEL_ARCH_VM_TYPES_H */