IPI_SYNCICACHE
[IPI_SYNCICACHE] = IPL_HIGH,
if (ipi_mask & __BIT(IPI_SYNCICACHE)) {
ci->ci_evcnt_per_ipi[IPI_SYNCICACHE].ev_count++;
[IPI_SYNCICACHE] = "ipi isync",
cpu_send_ipi(cpu_lookup(n), IPI_SYNCICACHE);