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