Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched defs:intrsw_cpu_send_ipi (Results 1 - 1 of 1) sorted by relevancy

/src/sys/arch/powerpc/include/booke/
intr.h	131 void (*intrsw_cpu_send_ipi)(cpuid_t, uint32_t); member in struct:intrsw

Completed in 29 milliseconds

Indexes created Fri Oct 03 02:09:57 GMT 2025