ps3_hpte_init      19 arch/powerpc/platforms/ps3/platform.h void __init ps3_hpte_init(unsigned long htab_size);
ps3_hpte_init     227 arch/powerpc/platforms/ps3/setup.c 	ps3_hpte_init(htab_size);