pgd_t              35 bsp/hal/arm/include/mmu.h typedef uint32_t	*pgd_t;		/* page directory */
pgd_t              35 bsp/hal/ppc/include/mmu.h typedef uint32_t	*pgd_t;		/* page directory */
pgd_t              35 bsp/hal/x86/include/mmu.h typedef uint32_t	*pgd_t;		/* page directory */