Searched refs:x87_state0 (Results 1 – 1 of 1) sorted by relevance
122 UChar* x87_state0, in capture_convert_show() argument128 : "r" (x87_state0) in capture_convert_show()130 x87_to_vex(x87_state0, vex_state); in capture_convert_show()133 printFpuState(x87_state0); in capture_convert_show()152 UChar* x87_state0 = 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()