extern inline void set_64bit(volatile unsigned long *ptr, unsigned long val) 
static inline void set_64bit(volatile unsigned long *ptr, unsigned long val) 
extern inline void set_64bit(volatile unsigned long *ptr, unsigned long val){	*ptr = val;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9c0aa0f9a16557a3dd9b7b0d39bc67ddf1fa0b32/system.h/clean/include/asm-x86_64/system.h