HvCall4(HvCallHptAddValidate, hpteIndex, hBit, (*((u64 *)hpte)), (*(((u64 *)hpte)+1))); 
HvCall4(HvCallHptAddValidate, hpteIndex, hBit, hpte->v, hpte->r); 
static inline void HvCallHpt_addValidate(u32 hpteIndex, u32 hBit, HPTE *hpte){	HvCall4(HvCallHptAddValidate, hpteIndex, hBit, (*((u64 *)hpte)),			(*(((u64 *)hpte)+1)));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96e2844999f99878fc5b03b81ccaa60580005b81/HvCallHpt.h/clean/include/asm-ppc64/iSeries/HvCallHpt.h