/*
 * Generated by Bluespec Compiler, version 2019.05.beta2 (build a88bf40db, 2019-05-24)
 * 
 * On Tue Jun 30 17:29:23 EDT 2020
 * 
 */

/* registration array */
#include "vpi_wrapper_c_end_timing.h"
#include "vpi_wrapper_c_get_symbol_val.h"
#include "vpi_wrapper_c_start_timing.h"
#include "vpi_wrapper_c_trygetchar.h"

/* Convenience function to register all imported functions */
void vpi_register_all()
{
  c_end_timing_vpi_register();
  c_get_symbol_val_vpi_register();
  c_start_timing_vpi_register();
  c_trygetchar_vpi_register();
}

/* Convenience function to register only tasks */
void vpi_register_tasks()
{
  c_end_timing_vpi_register();
  c_start_timing_vpi_register();
}
void (*vlog_startup_routines[])() = { vpi_register_all, 0u };
