Searched refs:vex_to_x87 (Results 1 – 1 of 1) sorted by relevance
80 static void vex_to_x87 ( /*IN*/UChar* vex_state, /*OUT*/UChar* x87_state ) in vex_to_x87() function131 vex_to_x87(vex_state, x87_state1); in capture_convert_show()