unsigned long *word = &hptep->dw0.dword0; 
unsigned long *word = &hptep->v; 
static inline void native_unlock_hpte(HPTE *hptep){	unsigned long *word = &hptep->dw0.dword0;	asm volatile("lwsync":::"memory");	clear_bit(HPTE_LOCK_BIT, word);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96e2844999f99878fc5b03b81ccaa60580005b81/hash_native.c/buggy/arch/ppc64/mm/hash_native.c