unsigned long id = *IXP2000_PROD_ID; 
unsigned long id = *IXP2000_PRODUCT_ID; 
static inline unsigned ixp2000_has_broken_slowport(void){	unsigned long id = *IXP2000_PROD_ID;	unsigned long id_prod = id & (IXP2000_MAJ_PROD_TYPE_MASK |				      IXP2000_MIN_PROD_TYPE_MASK);	return (((id_prod ==		  /* fixed in IXP2400-B0 */		  (IXP2000_MAJ_PROD_TYPE_IXP2000 |		   IXP2000_MIN_PROD_TYPE_IXP2400)) &&		 ((id & IXP2000_MAJ_REV_MASK) == 0)) ||		((id_prod ==		  /* fixed in IXP2800-B0 */		  (IXP2000_MAJ_PROD_TYPE_IXP2000 |		   IXP2000_MIN_PROD_TYPE_IXP2800)) &&		 ((id & IXP2000_MAJ_REV_MASK) == 0)) ||		((id_prod ==		  /* fixed in IXP2850-B0 */		  (IXP2000_MAJ_PROD_TYPE_IXP2000 |		   IXP2000_MIN_PROD_TYPE_IXP2850)) &&		 ((id & IXP2000_MAJ_REV_MASK) == 0)));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44449bbf4b051ef7bbea648602f4e21658fe2354/platform.h/clean/include/asm-arm/arch-ixp2000/platform.h