Searched refs:X86_IPI_DDB (Results 1 - 2 of 2) sorted by relevance

/openbsd-current/sys/arch/amd64/include/
H A Dintrdefs.h84 #define X86_IPI_DDB 0x00000080 macro
/openbsd-current/sys/arch/amd64/amd64/
H A Ddb_interface.c313 x86_send_ipi(cpu_info[i], X86_IPI_DDB);
383 x86_send_ipi(cpu_info[cpu], X86_IPI_DDB);

Completed in 205 milliseconds