Lines Matching refs:vex_initdone
128 vassert(!vex_initdone);200 vex_initdone = True;277 vassert(vex_initdone);