Searched refs:veriexec_init (Results 1 – 3 of 3) sorted by relevance
88 void veriexec_init(void);
589 veriexec_init(); in main()
330 veriexec_init(void) in veriexec_init() function