Searched defs:s_vpi_time (Results 1 – 7 of 7) sorted by relevance
123 type s_vpi_time is record type
582 } s_vpi_time, *p_vpi_time; typedef
71 void vpi_get_time(vpiHandle, s_vpi_time*) { } in vpi_get_time() argument
100 } s_vpi_time, *p_vpi_time; typedef
486 } s_vpi_time, *p_vpi_time; typedef