pte_t              36 bsp/hal/arm/include/mmu.h typedef uint32_t	*pte_t;		/* page table entry */
pte_t              42 bsp/hal/ppc/include/mmu.h typedef struct pte	*pte_t;		/* page table entry */
pte_t              36 bsp/hal/x86/include/mmu.h typedef uint32_t	*pte_t;		/* page table entry */