Searched refs:ipi_latte_send_ipi (Results 1 - 1 of 1) sorted by relevance
| /src/sys/arch/evbppc/nintendo/ | ||
| H A D | ipi_latte.c | 54 ipi_latte_send_ipi(cpuid_t target, uint32_t mesg) function in typeref:typename:void 94 ipiops.ppc_send_ipi = ipi_latte_send_ipi; |
Completed in 2 milliseconds