u32 findEAsForGivenRAAndContext(u64 raAddress, u64 lpid, u64 pid, AV* eaArray) PREINIT: u32 resultCount=0; int i=0; int maxCount=10*MAX_NUM_OF_ALIASES; unsigned long long int array[maxCount]; CODE: RETVAL = findEAsForGivenRAAndContext(raAddress, lpid, pid, array); resultCount = RETVAL; for(i=0; i