/* $NetBSD: pte.h,v 1.1 2014/08/10 05:47:38 matt Exp $ */

#ifndef _MODULE
#include <aarch64/pte.h>
#endif