apic_write_around(APIC_ICR, cfg); 
apic_write(APIC_ICR, cfg); 
static inline void __send_IPI_shortcut(unsigned int shortcut, int vector, unsigned int dest){	/*	 * Subtle. In the case of the 'never do double writes' workaround	 * we have to lock out interrupts to be safe.  As we don't care	 * of the value read we use an atomic rmw access to avoid costly	 * cli/sti.  Otherwise we use an even cheaper single atomic write	 * to the APIC.	 */	unsigned int cfg;	/*	 * Wait for idle.	 */	apic_wait_icr_idle();	/*	 * No need to touch the target chip field	 */	cfg = __prepare_ICR(shortcut, vector, dest);	/*	 * Send the IPI. The write to APIC_ICR fires this off.	 */	apic_write_around(APIC_ICR, cfg);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/eddfb4ed290383abf912630fa8dac5acf65c9e55/ipi.h/buggy/include/asm-x86_64/ipi.h