+/*
+ * Copyright (c) 1982 Regents of the University of California.
+ * All rights reserved. The Berkeley software License Agreement
+ * specifies the terms and conditions for redistribution.
+ *
+ * @(#)uba.c 6.2 (Berkeley) %G%
+ */
+
+#include "../machine/pte.h"