Searched defs:ia64_ipi_nmi (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.2-release/sys/ia64/ia64/
H A Dmp_machdep.c85 int ia64_ipi_nmi; variable

Completed in 50 milliseconds