Searched refs:vex_initdone (Results 1 – 3 of 3) sorted by relevance
46 Bool vex_initdone = False; variable
47 extern Bool vex_initdone;
212 vassert(!vex_initdone); in LibVEX_Init()292 vex_initdone = True; in LibVEX_Init()337 vassert(vex_initdone); in LibVEX_FrontEnd()757 vassert(vex_initdone); in libvex_BackEnd()