1/*
2 * Copyright 2005, Axel D��rfler, axeld@pinc-software.de.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef KERNEL_ARCH_VM_TYPES_H
6#define KERNEL_ARCH_VM_TYPES_H
7
8#include <arch_vm_types.h>
9
10#endif	/* KERNEL_ARCH_VM_TYPES_H */
11