/*
 * Copyright (c) 1999 by Sun Microsystems, Inc.
 * All rights reserved.
 */

#ifndef _IA64_SYS_PTE_H
#define	_IA64_SYS_PTE_H

#pragma ident	"@(#)pte.h	1.1	99/05/04 SMI"

#ifndef _ASM
#include <sys/types.h>
#include <ia64/sys/mmu.h>
#endif /* _ASM */

#ifdef	__cplusplus
extern "C" {
#endif


#ifndef _ASM
/* >>> */
#endif /* !_ASM */

#ifdef	__cplusplus
}
#endif

#endif /* !_IA64_SYS_PTE_H */
