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 *,
