#include <TM_TranslationAPI.h>
#include "TM_DefaultParams.h"

// This data structure holds an array of address and the number of actual addresses
typedef struct TM_TranslationAdresses{
  u64 addressCount;
  u64 addresses[10*MAX_NUM_OF_ALIASES];
} TM_TranslationAdresses;

TM_TranslationAdresses *
findEAsForGivenRAAndContext(
  u64 raAddress,
  u64 lpid,
  u64 pid);