// Amazon FPGA Hardware Development Kit
//
// Copyright 2016 Amazon.com, Inc. or its affiliates. All Rights Reserved.
//
// Licensed under the Amazon Software License (the "License"). You may not use
// this file except in compliance with the License. A copy of the License is
// located at
//
//    http://aws.amazon.com/asl/
//
// or in the "license" file accompanying this file. This file is distributed on
// an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, express or
// implied. See the License for the specific language governing permissions and
// limitations under the License.


#include <stdio.h>
#include <stdint.h>
#include <unistd.h>

void 
sv_printf(char *msg)
{
  printf("%s\n", msg);
}

void 
sv_map_host_memory(uint8_t *memory)
{
  // Does nothing on EC2 instance
}


void 
cl_peek(uint64_t addr, uint32_t *data)
{
  *data = peek((uint32_t) (addr & 0xffffffff));
}


void 
cl_poke(uint64_t addr, uint32_t  data)
{
  poke((uint32_t) (addr & 0xffffffff), data);
}

void 
sv_pause(uint32_t x)
{
  usleep(x);
}