Lines Matching refs:VexGuestX86State
483 static void deallocate_LGDTs_for_thread ( VexGuestX86State* vex )