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