ps3_write_ctr     497 arch/powerpc/include/asm/ps3.h void ps3_write_ctr(u32 cpu, u32 ctr, u32 val);
ps3_write_ctr     342 drivers/ps3/ps3-lpm.c EXPORT_SYMBOL_GPL(ps3_write_ctr);