Searched defs:ps3_register_ipi_debug_brk (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/arch/powerpc/platforms/ps3/ | ||
| H A D | interrupt.c | 692 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq) ps3_register_ipi_debug_brk() function |
Completed in 74 milliseconds