static inline void HvCallHpt_get(HPTE *hpte, u32 hpteIndex){	HvCall2Ret16(HvCallHptGet, hpte, hpteIndex, 0);	// getPaca()->adjustHmtForNoOfSpinLocksHeld();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6b7feecb2f8fcab184a38916d10349bd6648e0bc/HvCallHpt.h/buggy/include/asm-ppc64/iSeries/HvCallHpt.h