Searched refs:icr_high (Results 1 – 1 of 1) sorted by relevance
169 static void savic_icr_write(u32 icr_low, u32 icr_high) in savic_icr_write() argument190 send_ipi_dest(icr_high, vector, nmi); in savic_icr_write()194 icr_data = ((u64)icr_high) << 32 | icr_low; in savic_icr_write()