Home | History | Annotate | Download | only in priv

Lines Matching full:vex_initdone

109    vassert(!vex_initdone);
159    vex_initdone           = True;
227    vassert(vex_initdone);