Searched refs:vex_to_x87 (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/VEX/useful/ | ||
| H A D | x87_to_vex_and_back.c | 80 static void vex_to_x87 ( /*IN*/UChar* vex_state, /*OUT*/UChar* x87_state ) function 131 vex_to_x87(vex_state, x87_state1); |
Completed in 64 milliseconds