Searched defs:dsh (Results 1 – 1 of 1) sorted by relevance
171 unsigned int dsh, vector; in savic_icr_write() local244 static void send_ipi(u32 dest, unsigned int vector, unsigned int dsh) in send_ipi()