u64 retIndex = HvCall3Ret16( HvCallHptFindValid, hpte, vpn, 0, 0 );  return retIndex; 
return HvCall3Ret16(HvCallHptFindValid, hpte, vpn, 0, 0); 
static inline u64 HvCallHpt_findValid(HPTE *hpte, u64 vpn){	u64 retIndex = HvCall3Ret16( HvCallHptFindValid, hpte, vpn, 0, 0 );	// getPaca()->adjustHmtForNoOfSpinLocksHeld();	return retIndex;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6b7feecb2f8fcab184a38916d10349bd6648e0bc/HvCallHpt.h/buggy/include/asm-ppc64/iSeries/HvCallHpt.h