Lines Matching refs:VexGuestX86State
334 LibVEX_GuestX86_get_x87(CONST_CAST(VexGuestX86State *, &arch->vex),338 UInt mxcsr = LibVEX_GuestX86_get_mxcsr(CONST_CAST(VexGuestX86State *,571 UInt mxcsr = LibVEX_GuestX86_get_mxcsr(CONST_CAST(VexGuestX86State *,