pt_entry_t        516 arch/i386/i386/pmapae.c typedef u_int64_t pt_entry_t;	/* PTE */
pt_entry_t        138 arch/i386/include/pte.h typedef u_int32_t pt_entry_t;		/* PTE */