Home
last modified time | relevance | path

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

/freebsd/sys/powerpc/powerpc/
H A Dintr_machdep.c147 static void *ipi_cookie; variable
473 INTR_TYPE_MISC | INTR_EXCL, &ipi_cookie, in powerpc_enable_intr()