Lines Matching defs:mach
63 #include <mach/mach.h>
65 static void x86_thread_state32_from_vex(i386_thread_state_t *mach,
68 mach->__eax = vex->guest_EAX;
69 mach->__ebx = vex->guest_EBX;
70 mach->__ecx = vex->guest_ECX;
71 mach->__edx = vex->guest_EDX;
72 mach->__edi = vex->guest_EDI;
73 mach->__esi = vex->guest_ESI;
74 mach->__ebp = vex->guest_EBP;
75 mach->__esp = vex->guest_ESP;
76 mach->__ss = vex->guest_SS;
77 mach->__eflags = LibVEX_GuestX86_get_eflags(vex);
78 mach->__eip = vex->guest_EIP;
79 mach->__cs = vex->guest_CS;
80 mach->__ds = vex->guest_DS;
81 mach->__es = vex->guest_ES;
82 mach->__fs = vex->guest_FS;
83 mach->__gs = vex->guest_GS;
87 static void x86_float_state32_from_vex(i386_float_state_t *mach,
92 VG_(memcpy)(&mach->__fpu_xmm0, &vex->guest_XMM0, 8 * sizeof(mach->__fpu_xmm0));
120 static void x86_thread_state32_to_vex(const i386_thread_state_t *mach,
124 vex->guest_EAX = mach->__eax;
125 vex->guest_EBX = mach->__ebx;
126 vex->guest_ECX = mach->__ecx;
127 vex->guest_EDX = mach->__edx;
128 vex->guest_EDI = mach->__edi;
129 vex->guest_ESI = mach->__esi;
130 vex->guest_EBP = mach->__ebp;
131 vex->guest_ESP = mach->__esp;
132 vex->guest_SS = mach->__ss;
134 vex->guest_EIP = mach->__eip;
135 vex->guest_CS = mach->__cs;
136 vex->guest_DS = mach->__ds;
137 vex->guest_ES = mach->__es;
138 vex->guest_FS = mach->__fs;
139 vex->guest_GS = mach->__gs;
142 static void x86_float_state32_to_vex(const i386_float_state_t *mach,
147 VG_(memcpy)(&vex->guest_XMM0, &mach->__fpu_xmm0, 8 * sizeof(mach->__fpu_xmm0));
206 i386_thread_state_t *mach = (i386_thread_state_t *)mach_generic;
219 mach->__eip = (uintptr_t)&start_thread_NORETURN;
220 mach->__esp = (uintptr_t)stack;
309 // Record thread's stack and Mach port and pthread struct
472 // Record thread's stack and Mach port and pthread struct
