extern __inline__ void __clear_cpenable(void) 
static inline void __clear_cpenable(void) 
extern __inline__ void __clear_cpenable(void){#if XCHAL_HAVE_CP	unsigned long i = 0;	WSR_CPENABLE(i);#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/system.h/buggy/include/asm-xtensa/system.h