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