static inline void HvCallHpt_get(HPTE *hpte, u32 hpteIndex) 
static inline void HvCallHpt_get(hpte_t *hpte, u32 hpteIndex) 
static inline void HvCallHpt_get(HPTE *hpte, u32 hpteIndex){	HvCall2Ret16(HvCallHptGet, hpte, hpteIndex, 0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96e2844999f99878fc5b03b81ccaa60580005b81/HvCallHpt.h/clean/include/asm-ppc64/iSeries/HvCallHpt.h