static inline u64 HvCallHpt_findValid(HPTE *hpte, u64 vpn) 
static inline u64 HvCallHpt_findValid(hpte_t *hpte, u64 vpn) 
static inline u64 HvCallHpt_findValid(HPTE *hpte, u64 vpn){	return HvCall3Ret16(HvCallHptFindValid, hpte, vpn, 0, 0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96e2844999f99878fc5b03b81ccaa60580005b81/HvCallHpt.h/clean/include/asm-ppc64/iSeries/HvCallHpt.h