ps3_get_hw_thread_id  514 arch/powerpc/include/asm/ps3.h u32 ps3_get_hw_thread_id(int cpu);
ps3_get_hw_thread_id  830 drivers/ps3/ps3-lpm.c EXPORT_SYMBOL_GPL(ps3_get_hw_thread_id);