Lines Matching refs:VexGuestX86State
42 #include "libvex_guest_x86.h" // VexGuestX86State
147 extern void x86g_dirtyhelper_CPUID_sse0 ( VexGuestX86State* );
148 extern void x86g_dirtyhelper_CPUID_mmxext ( VexGuestX86State* );
149 extern void x86g_dirtyhelper_CPUID_sse1 ( VexGuestX86State* );
150 extern void x86g_dirtyhelper_CPUID_sse2 ( VexGuestX86State* );
151 extern void x86g_dirtyhelper_CPUID_sse3 ( VexGuestX86State* );
153 extern void x86g_dirtyhelper_FINIT ( VexGuestX86State* );
155 extern void x86g_dirtyhelper_FXSAVE ( VexGuestX86State*, HWord );
156 extern void x86g_dirtyhelper_FSAVE ( VexGuestX86State*, HWord );
157 extern void x86g_dirtyhelper_FSTENV ( VexGuestX86State*, HWord );
169 x86g_dirtyhelper_FXRSTOR ( VexGuestX86State*, HWord );
172 x86g_dirtyhelper_FRSTOR ( VexGuestX86State*, HWord );
175 x86g_dirtyhelper_FLDENV ( VexGuestX86State*, HWord );
