Searched refs:IA64_IPI_DM_INIT (Results 1 – 2 of 2) sorted by relevance
92 IA64_IPI_DM_INIT = 0x5, /* pend an INIT interrupt */ enumerator
214 ia64_send_ipi(cpu, 0, IA64_IPI_DM_INIT, 0); in kdump_smp_send_init()