Lines Matching refs:VexGuestX86State
227 VexGuestX86State;
275 void LibVEX_GuestX86_initialise ( /*OUT*/VexGuestX86State* vex_state );
278 /* Extract from the supplied VexGuestX86State structure the
281 UInt LibVEX_GuestX86_get_eflags ( /*IN*/const VexGuestX86State* vex_state );
286 /*MOD*/VexGuestX86State* vex_state );
293 /*MOD*/VexGuestX86State* vex_state );
295 /* Do x87 save from the supplied VexGuestX86State structure and store the
299 void LibVEX_GuestX86_get_x87 ( /*IN*/VexGuestX86State* vex_state,
303 VexGuestX86State structure. */
306 /*MOD*/VexGuestX86State* vex_state);
308 /* Return mxcsr from the supplied VexGuestX86State structure. */
310 UInt LibVEX_GuestX86_get_mxcsr ( /*IN*/VexGuestX86State* vex_state );
312 /* Modify the given VexGuestX86State structure according to the passed mxcsr
316 /*MOD*/VexGuestX86State* vex_state);