Home
last modified time | relevance | path

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

/linux-5.19.10/arch/powerpc/platforms/ps3/
Dsmp.c87 ps3_register_ipi_debug_brk(cpu, virqs[PPC_MSG_NMI_IPI]); in ps3_smp_probe()
Dplatform.h33 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq);
Dinterrupt.c682 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq) in ps3_register_ipi_debug_brk() function