| sewardj | 0c2cb62 | 2004-09-06 23:21:21 +0000 | [diff] [blame^] | 1 | |
| 2 | /*---------------------------------------------------------------*/ |
| 3 | /*--- ---*/ |
| 4 | /*--- This file (libvex_guest_x86.h) is ---*/ |
| 5 | /*--- Copyright (c) 2004 OpenWorks LLP. All rights reserved. ---*/ |
| 6 | /*--- ---*/ |
| 7 | /*---------------------------------------------------------------*/ |
| 8 | |
| 9 | #ifndef __LIBVEX_PUB_GUEST_X86_H |
| 10 | #define __LIBVEX_PUB_GUEST_X86_H |
| 11 | |
| 12 | #include "libvex_basictypes.h" |
| 13 | |
| 14 | /*---------------------------------------------------------------*/ |
| 15 | /*--- Utility functions for x86 guest stuff. ---*/ |
| 16 | /*---------------------------------------------------------------*/ |
| 17 | |
| 18 | /* Convert a saved x87 FPU image (as created by fsave) into the |
| 19 | equivalent vex representation. |
| 20 | */ |
| 21 | extern void x87_to_vex ( /*IN*/UChar* x87_state, |
| 22 | /*OUT*/UChar* vex_state ); |
| 23 | |
| 24 | /* Extract from the vex representation, an x87 FPU image. */ |
| 25 | extern void vex_to_x87 ( /*IN*/UChar* vex_state, |
| 26 | /*OUT*/UChar* x87_state ); |
| 27 | |
| 28 | #endif /* ndef __LIBVEX_PUB_GUEST_X86_H */ |
| 29 | |
| 30 | /*---------------------------------------------------------------*/ |
| 31 | /*--- libvex_guest_x86.h ---*/ |
| 32 | /*---------------------------------------------------------------*/ |