Searched refs:IPI_DDB (Results 1 – 6 of 6) sorted by relevance
181 intr_send_ipi(&cpu_info[i], IPI_DDB); in db_enter_ddb()343 intr_send_ipi(&cpu_info[cpu], IPI_DDB); in db_stopcpu()
407 if (pending & IPI_DDB) in cpu_intr()
97 #define IPI_DDB (1 << 0) macro
337 intr_send_ipi(cpu_info[i], IPI_DDB); in db_enter_ddb()407 intr_send_ipi(cpu_info[cpu], IPI_DDB); in db_stopcpu()
756 if (pending & IPI_DDB) in ipi_intr()
205 #define IPI_DDB (1 << 0) macro