testsuite/vhpi/001load_lib/vhpi_lib.c


1
2
3
4
5
6
7
8
9
10
11
12
13

#include <stdio.h>
#include <vhpi_user.h>

void my_startup()
{
  printf ("VHPI lib\n");
}

void (*vhpi_startup_routines[]) () =
{
  my_startup,
  0
};