Searched refs:cpuix (Results 1 – 1 of 1) sorted by relevance
399 int cpuix, /* cpu to be interrupted */ in send_dirint() argument402 xt_one(cpuix, setsoftint_tl1, intr_id, 0); in send_dirint()