Home | History | Annotate | Download | only in pub

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);