Searched refs:ps3_register_ipi_debug_brk (Results 1 - 3 of 3) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/powerpc/platforms/ps3/
H A Dsmp.c128 ps3_register_ipi_debug_brk(cpu, virqs[PPC_MSG_DEBUGGER_BREAK]);
H A Dplatform.h44 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq);
H A Dinterrupt.c650 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq) function

Completed in 36 milliseconds