Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/powerpc64/powerpc64/
Ddb_interface.c181 intr_send_ipi(&cpu_info[i], IPI_DDB); in db_enter_ddb()
343 intr_send_ipi(&cpu_info[cpu], IPI_DDB); in db_stopcpu()
Dcpu.c407 if (pending & IPI_DDB) in cpu_intr()
/openbsd/src/sys/arch/powerpc64/include/
Dintr.h97 #define IPI_DDB (1 << 0) macro
/openbsd/src/sys/arch/riscv64/riscv64/
Ddb_interface.c337 intr_send_ipi(cpu_info[i], IPI_DDB); in db_enter_ddb()
407 intr_send_ipi(cpu_info[cpu], IPI_DDB); in db_stopcpu()
Dintr.c756 if (pending & IPI_DDB) in ipi_intr()
/openbsd/src/sys/arch/riscv64/include/
Dintr.h205 #define IPI_DDB (1 << 0) macro