unsigned int icr =  APIC_DM_FIXED | shortcut | vector | dest; if (vector == KDB_VECTOR) icr = (icr & (~APIC_VECTOR_MASK)) | APIC_DM_NMI; 
unsigned int icr = shortcut | dest;  switch (vector) { default: icr |= APIC_DM_FIXED | vector; break; case NMI_VECTOR: /* * Setup KDB IPI to be delivered as an NMI */ case KDB_VECTOR: icr |= APIC_DM_NMI; break; } 
static inline unsigned int __prepare_ICR (unsigned int shortcut, int vector, unsigned int dest){	unsigned int icr =  APIC_DM_FIXED | shortcut | vector | dest;	if (vector == KDB_VECTOR)		icr = (icr & (~APIC_VECTOR_MASK)) | APIC_DM_NMI;	return icr;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1a426cb76443f5b0a021a9df57d3446d14763c21/ipi.h/buggy/include/asm-x86_64/ipi.h