apic_write_around(APIC_ICR, cfg); 
apic_write(APIC_ICR, cfg); 
static void flat_send_IPI_mask(cpumask_t cpumask, int vector){	unsigned long mask = cpus_addr(cpumask)[0];	unsigned long cfg;	unsigned long flags;	local_save_flags(flags);	local_irq_disable();	/*	 * Wait for idle.	 */	apic_wait_icr_idle();	/*	 * prepare target chip field	 */	cfg = __prepare_ICR2(mask);	apic_write_around(APIC_ICR2, cfg);	/*	 * program the ICR	 */	cfg = __prepare_ICR(0, vector, APIC_DEST_LOGICAL);	/*	 * Send the IPI. The write to APIC_ICR fires this off.	 */	apic_write_around(APIC_ICR, cfg);	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/eddfb4ed290383abf912630fa8dac5acf65c9e55/genapic_flat.c/clean/arch/x86_64/kernel/genapic_flat.c