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

/netbsd-current/sys/arch/arm/pic/
H A Dpic.c152 pic_ipi_ddb(void *arg) function

Completed in 118 milliseconds