Searched refs:vex_generic (Results 1 – 3 of 3) sorted by relevance
98 VexGuestArchState *vex_generic) in thread_state_from_vex() argument100 VexGuestX86State *vex = (VexGuestX86State *)vex_generic; in thread_state_from_vex()153 VexGuestArchState *vex_generic) in thread_state_to_vex() argument155 VexGuestX86State *vex = (VexGuestX86State *)vex_generic; in thread_state_to_vex()
122 VexGuestArchState *vex_generic) in thread_state_from_vex() argument124 VexGuestAMD64State *vex = (VexGuestAMD64State *)vex_generic; in thread_state_from_vex()216 VexGuestArchState *vex_generic) in thread_state_to_vex() argument218 VexGuestAMD64State *vex = (VexGuestAMD64State *)vex_generic; in thread_state_to_vex()
721 VexGuestArchState *vex_generic);726 VexGuestArchState *vex_generic);