diff --git a/sys/src/9/zynq/dat.h b/sys/src/9/zynq/dat.h
index 01cba862c..2d3e681a7 100644
--- a/sys/src/9/zynq/dat.h
+++ b/sys/src/9/zynq/dat.h
@@ -11,7 +11,6 @@ typedef struct Notsave	Notsave;
 typedef struct Page	Page;
 typedef struct Proc	Proc;
 typedef struct PMMU	PMMU;
-typedef u32int		PTE;
 typedef struct Ureg	Ureg;
 typedef struct ISAConf	ISAConf;
 typedef uvlong		Tval;
diff --git a/sys/src/9/zynq/mmu.c b/sys/src/9/zynq/mmu.c
index 14f915759..d9d9e7cc1 100644
--- a/sys/src/9/zynq/mmu.c
+++ b/sys/src/9/zynq/mmu.c
@@ -141,7 +141,7 @@ putmmu(uintptr va, uintptr pa, Page *pg)
 	Page *p;
 	ulong *e;
 	ulong *l2;
-	PTE old;
+	ulong old;
 	uintptr l2p;
 	int s;