Searched refs:x87_state1 (Results 1 – 1 of 1) sorted by relevance
123 UChar* x87_state1, in capture_convert_show() argument131 vex_to_x87(vex_state, x87_state1); in capture_convert_show()140 : "r" (x87_state1) in capture_convert_show()143 printFpuState(x87_state1); in capture_convert_show()145 x87_to_vex(x87_state1, vex_state); in capture_convert_show()153 UChar* x87_state1 = malloc(sizeof(Fpu_State)); in main() local156 capture_convert_show(x87_state0, x87_state1, vex_state); in main()158 capture_convert_show(x87_state0, x87_state1, vex_state); in main()161 capture_convert_show(x87_state0, x87_state1, vex_state); in main()