Searched refs:VexControl (Results 1 – 8 of 8) sorted by relevance
320 VexControl; typedef326 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon );450 /*READONLY*/VexControl* vcon
65 VexControl vex_control = { 0,0,False,0,0,0 };
66 extern VexControl vex_control;
78 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon ) in LibVEX_default_VexControl()103 /*READONLY*/VexControl* vcon in LibVEX_Init()
168 extern VexControl VG_(clo_vex_control);
46 VexControl VG_(clo_vex_control);
93 VexControl vcon;
103 VexControl vcon; in main()