Home
last modified time | relevance | path

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

/NextBSD/sys/powerpc/powerpc/
HDintr_machdep.c138 static void *ipi_cookie; variable
427 INTR_TYPE_MISC | INTR_EXCL, &ipi_cookie); in powerpc_enable_intr()