#ifndef	VM_PMAP_H
#define VM_PMAP_H

#include <mach/kern_return.h>
#include <mach/vm_param.h>
#include <mach/vm_types.h>
#include <mach/vm_attributes.h>
#include <mach/boolean.h>
#include <mach/vm_prot.h>

#include <HURD/i386/intel/pmap.h>
#include <HURD/vm/pmap.h>
#endif	