source: trunk/IPs/systemC/Environment/Sim2OS/src/Sim2OS_convert_address.cpp

#include "../include/Sim2OS.h"
#include <stdlib.h>

namespace environment {
namespace sim2os {

  /*
   * convert a address in the simulator on a address in OS
   */
  void * Sim2OS::convert_address (void * address)
  {
    void * result = param->segment_table->getAddrAlloc(static_cast<uint32_t>(reinterpret_cast<uint64_t>(address)));
    
    if (result == NULL)
      {
        std::cerr << "<" << name << "> address don't match : " << std::hex << static_cast<uint32_t>(reinterpret_cast<uint64_t>(address)) << std::dec << std::endl;
        exit(0);
      }
    
    return result;
  }

};
};