instr.c 25.4 KB
Newer Older
Alexandre Julliard's avatar
Alexandre Julliard committed
1 2 3 4 5 6 7 8
/*
 * Emulation of priviledged instructions
 *
 * Copyright 1995 Alexandre Julliard
 */

#include "windows.h"
#include "ldt.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
9
#include "global.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
10
#include "module.h"
11
#include "dosexe.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
12
#include "miscemu.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
13
#include "sig_context.h"
14
#include "selectors.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
15
#include "debug.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
16 17


18 19 20 21
#define IS_V86(context) (EFL_sig(context)&V86_FLAG)
#define IS_SEL_32(context,seg) \
   (IS_V86(context) ? FALSE : IS_SELECTOR_32BIT(seg))

Alexandre Julliard's avatar
Alexandre Julliard committed
22
#define STACK_sig(context) \
23
   (IS_SEL_32(context,SS_sig(context)) ? ESP_sig(context) : SP_sig(context))
Alexandre Julliard's avatar
Alexandre Julliard committed
24 25 26

#define MAKE_PTR(seg,off) \
   (IS_SELECTOR_SYSTEM(seg) ? (void *)(off) : PTR_SEG_OFF_TO_LIN(seg,off))
Alexandre Julliard's avatar
Alexandre Julliard committed
27

28 29 30 31
#define MK_PTR(context,seg,off) \
   (IS_V86(context) ? DOSMEM_MapRealToLinear(MAKELONG(off,seg)) \
                    : MAKE_PTR(seg,off))

Alexandre Julliard's avatar
Alexandre Julliard committed
32
#define STACK_PTR(context) \
33 34 35
   (IS_V86(context) ? DOSMEM_MapRealToLinear(MAKELONG(SP_sig(context),SS_sig(context))) : \
    (IS_SELECTOR_SYSTEM(SS_sig(context)) ? (void *)ESP_sig(context) : \
     (PTR_SEG_OFF_TO_LIN(SS_sig(context),STACK_sig(context)))))
Alexandre Julliard's avatar
Alexandre Julliard committed
36

37 38 39
/* For invalid registers fixup */
extern DWORD CallFrom16_Start,CallFrom16_End;

Alexandre Julliard's avatar
Alexandre Julliard committed
40 41 42 43 44

/***********************************************************************
 *           INSTR_ReplaceSelector
 *
 * Try to replace an invalid selector by a valid one.
Alexandre Julliard's avatar
Alexandre Julliard committed
45 46 47 48 49 50
 * The only selector where it is allowed to do "mov ax,40;mov es,ax"
 * is the so called 'bimodal' selector 0x40, which points to the BIOS
 * data segment. Used by (at least) Borland products (and programs compiled 
 * using Borland products).
 *
 * See Undocumented Windows, Chapter 5, __0040.
Alexandre Julliard's avatar
Alexandre Julliard committed
51
 */
Alexandre Julliard's avatar
Alexandre Julliard committed
52
static BOOL32 INSTR_ReplaceSelector( SIGCONTEXT *context, WORD *sel )
Alexandre Julliard's avatar
Alexandre Julliard committed
53
{
Alexandre Julliard's avatar
Alexandre Julliard committed
54 55 56 57 58 59 60 61 62 63
    if (IS_SELECTOR_SYSTEM(CS_sig(context)) &&
        (EIP_sig(context) >= (DWORD)&CallFrom16_Start) &&
        (EIP_sig(context) < (DWORD)&CallFrom16_End))
    {
        /* Saved selector may have become invalid when the relay code */
        /* tries to restore it. We simply clear it. */
        *sel = 0;
        return TRUE;
    }
    if (*sel == 0x40)
Alexandre Julliard's avatar
Alexandre Julliard committed
64
    {
Alexandre Julliard's avatar
Alexandre Julliard committed
65 66
        static WORD sys_timer = 0;
        if (!sys_timer)
67
            sys_timer = CreateSystemTimer( 55, DOSMEM_Tick );
68
        *sel = DOSMEM_BiosDataSeg;
Alexandre Julliard's avatar
Alexandre Julliard committed
69
        return TRUE;
Alexandre Julliard's avatar
Alexandre Julliard committed
70
    }
Alexandre Julliard's avatar
Alexandre Julliard committed
71
    return FALSE;  /* Can't replace selector, crashdump */
Alexandre Julliard's avatar
Alexandre Julliard committed
72 73 74 75 76 77 78 79
}


/***********************************************************************
 *           INSTR_GetOperandAddr
 *
 * Return the address of an instruction operand (from the mod/rm byte).
 */
Alexandre Julliard's avatar
Alexandre Julliard committed
80 81
static BYTE *INSTR_GetOperandAddr( SIGCONTEXT *context, BYTE *instr,
                                   int long_addr, int segprefix, int *len )
Alexandre Julliard's avatar
Alexandre Julliard committed
82 83 84 85 86 87 88 89 90 91 92 93 94 95 96
{
    int mod, rm, base, index = 0, ss = 0, seg = 0, off;

#define GET_VAL(val,type) \
    { *val = *(type *)instr; instr += sizeof(type); *len += sizeof(type); }

    *len = 0;
    GET_VAL( &mod, BYTE );
    rm = mod & 7;
    mod >>= 6;

    if (mod == 3)
    {
        switch(rm)
        {
Alexandre Julliard's avatar
Alexandre Julliard committed
97 98 99 100 101 102 103 104
        case 0: return (BYTE *)&EAX_sig(context);
        case 1: return (BYTE *)&ECX_sig(context);
        case 2: return (BYTE *)&EDX_sig(context);
        case 3: return (BYTE *)&EBX_sig(context);
        case 4: return (BYTE *)&ESP_sig(context);
        case 5: return (BYTE *)&EBP_sig(context);
        case 6: return (BYTE *)&ESI_sig(context);
        case 7: return (BYTE *)&EDI_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
105 106 107 108 109 110 111 112 113 114 115 116 117
        }
    }

    if (long_addr)
    {
        if (rm == 4)
        {
            BYTE sib;
            GET_VAL( &sib, BYTE );
            rm = sib & 7;
            ss = sib >> 6;
            switch(sib >> 3)
            {
Alexandre Julliard's avatar
Alexandre Julliard committed
118 119 120 121
            case 0: index = EAX_sig(context); break;
            case 1: index = ECX_sig(context); break;
            case 2: index = EDX_sig(context); break;
            case 3: index = EBX_sig(context); break;
Alexandre Julliard's avatar
Alexandre Julliard committed
122
            case 4: index = 0; break;
Alexandre Julliard's avatar
Alexandre Julliard committed
123 124 125
            case 5: index = EBP_sig(context); break;
            case 6: index = ESI_sig(context); break;
            case 7: index = EDI_sig(context); break;
Alexandre Julliard's avatar
Alexandre Julliard committed
126 127 128 129 130
            }
        }

        switch(rm)
        {
Alexandre Julliard's avatar
Alexandre Julliard committed
131 132 133 134 135 136 137 138
        case 0: base = EAX_sig(context); seg = DS_sig(context); break;
        case 1: base = ECX_sig(context); seg = DS_sig(context); break;
        case 2: base = EDX_sig(context); seg = DS_sig(context); break;
        case 3: base = EBX_sig(context); seg = DS_sig(context); break;
        case 4: base = ESP_sig(context); seg = SS_sig(context); break;
        case 5: base = EBP_sig(context); seg = SS_sig(context); break;
        case 6: base = ESI_sig(context); seg = DS_sig(context); break;
        case 7: base = EDI_sig(context); seg = DS_sig(context); break;
Alexandre Julliard's avatar
Alexandre Julliard committed
139 140 141 142 143 144 145
        }
        switch (mod)
        {
        case 0:
            if (rm == 5)  /* special case: ds:(disp32) */
            {
                GET_VAL( &base, DWORD );
Alexandre Julliard's avatar
Alexandre Julliard committed
146
                seg = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165
            }
            break;

        case 1:  /* 8-bit disp */
            GET_VAL( &off, BYTE );
            base += (signed char)off;
            break;

        case 2:  /* 32-bit disp */
            GET_VAL( &off, DWORD );
            base += (signed long)off;
            break;
        }
    }
    else  /* short address */
    {
        switch(rm)
        {
        case 0:  /* ds:(bx,si) */
Alexandre Julliard's avatar
Alexandre Julliard committed
166 167
            base = BX_sig(context) + SI_sig(context);
            seg  = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
168 169
            break;
        case 1:  /* ds:(bx,di) */
Alexandre Julliard's avatar
Alexandre Julliard committed
170 171
            base = BX_sig(context) + DI_sig(context);
            seg  = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
172 173
            break;
        case 2:  /* ss:(bp,si) */
Alexandre Julliard's avatar
Alexandre Julliard committed
174 175
            base = BP_sig(context) + SI_sig(context);
            seg  = SS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
176 177
            break;
        case 3:  /* ss:(bp,di) */
Alexandre Julliard's avatar
Alexandre Julliard committed
178 179
            base = BP_sig(context) + DI_sig(context);
            seg  = SS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
180 181
            break;
        case 4:  /* ds:(si) */
Alexandre Julliard's avatar
Alexandre Julliard committed
182 183
            base = SI_sig(context);
            seg  = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
184 185
            break;
        case 5:  /* ds:(di) */
Alexandre Julliard's avatar
Alexandre Julliard committed
186 187
            base = DI_sig(context);
            seg  = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
188 189
            break;
        case 6:  /* ss:(bp) */
Alexandre Julliard's avatar
Alexandre Julliard committed
190 191
            base = BP_sig(context);
            seg  = SS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
192 193
            break;
        case 7:  /* ds:(bx) */
Alexandre Julliard's avatar
Alexandre Julliard committed
194 195
            base = BX_sig(context);
            seg  = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
196 197 198 199 200 201 202 203 204
            break;
        }

        switch(mod)
        {
        case 0:
            if (rm == 6)  /* special case: ds:(disp16) */
            {
                GET_VAL( &base, WORD );
Alexandre Julliard's avatar
Alexandre Julliard committed
205
                seg  = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
206 207 208 209 210 211 212 213 214 215 216 217 218
            }
            break;

        case 1:  /* 8-bit disp */
            GET_VAL( &off, BYTE );
            base += (signed char)off;
            break;

        case 2:  /* 16-bit disp */
            GET_VAL( &off, WORD );
            base += (signed short)off;
            break;
        }
Alexandre Julliard's avatar
Alexandre Julliard committed
219
        base &= 0xffff;
Alexandre Julliard's avatar
Alexandre Julliard committed
220 221 222
    }
    if (segprefix != -1) seg = segprefix;

Alexandre Julliard's avatar
Alexandre Julliard committed
223
    /* Make sure the segment and offset are valid */
Alexandre Julliard's avatar
Alexandre Julliard committed
224
    if (IS_SELECTOR_SYSTEM(seg)) return (BYTE *)(base + (index << ss));
Alexandre Julliard's avatar
Alexandre Julliard committed
225 226
    if (((seg & 7) != 7) || IS_SELECTOR_FREE(seg)) return NULL;
    if (GET_SEL_LIMIT(seg) < (base + (index << ss))) return NULL;
Alexandre Julliard's avatar
Alexandre Julliard committed
227
    return (BYTE *)PTR_SEG_OFF_TO_LIN( seg, (base + (index << ss)) );
Alexandre Julliard's avatar
Alexandre Julliard committed
228
#undef GET_VAL
Alexandre Julliard's avatar
Alexandre Julliard committed
229 230 231 232 233 234 235 236
}


/***********************************************************************
 *           INSTR_EmulateLDS
 *
 * Emulate the LDS (and LES,LFS,etc.) instruction.
 */
Alexandre Julliard's avatar
Alexandre Julliard committed
237 238
static BOOL32 INSTR_EmulateLDS( SIGCONTEXT *context, BYTE *instr, int long_op,
                                int long_addr, int segprefix, int *len )
Alexandre Julliard's avatar
Alexandre Julliard committed
239
{
Alexandre Julliard's avatar
Alexandre Julliard committed
240
    WORD seg;
Alexandre Julliard's avatar
Alexandre Julliard committed
241 242 243
    BYTE *regmodrm = instr + 1 + (*instr == 0x0f);
    BYTE *addr = INSTR_GetOperandAddr( context, regmodrm,
                                       long_addr, segprefix, len );
Alexandre Julliard's avatar
Alexandre Julliard committed
244 245 246
    if (!addr)
        return FALSE;  /* Unable to emulate it */
    seg = *(WORD *)(addr + (long_op ? 4 : 2));
Alexandre Julliard's avatar
Alexandre Julliard committed
247

Alexandre Julliard's avatar
Alexandre Julliard committed
248
    if (!INSTR_ReplaceSelector( context, &seg ))
Alexandre Julliard's avatar
Alexandre Julliard committed
249 250 251 252 253 254 255
        return FALSE;  /* Unable to emulate it */

    /* Now store the offset in the correct register */

    switch((*regmodrm >> 3) & 7)
    {
    case 0:
Alexandre Julliard's avatar
Alexandre Julliard committed
256 257
        if (long_op) EAX_sig(context) = *(DWORD *)addr;
        else AX_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
258 259
        break;
    case 1:
Alexandre Julliard's avatar
Alexandre Julliard committed
260 261
        if (long_op) ECX_sig(context) = *(DWORD *)addr;
        else CX_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
262 263
        break;
    case 2:
Alexandre Julliard's avatar
Alexandre Julliard committed
264 265
        if (long_op) EDX_sig(context) = *(DWORD *)addr;
        else DX_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
266 267
        break;
    case 3:
Alexandre Julliard's avatar
Alexandre Julliard committed
268 269
        if (long_op) EBX_sig(context) = *(DWORD *)addr;
        else BX_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
270 271
        break;
    case 4:
Alexandre Julliard's avatar
Alexandre Julliard committed
272 273
        if (long_op) ESP_sig(context) = *(DWORD *)addr;
        else SP_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
274 275
        break;
    case 5:
Alexandre Julliard's avatar
Alexandre Julliard committed
276 277
        if (long_op) EBP_sig(context) = *(DWORD *)addr;
        else BP_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
278 279
        break;
    case 6:
Alexandre Julliard's avatar
Alexandre Julliard committed
280 281
        if (long_op) ESI_sig(context) = *(DWORD *)addr;
        else SI_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
282 283
        break;
    case 7:
Alexandre Julliard's avatar
Alexandre Julliard committed
284 285
        if (long_op) EDI_sig(context) = *(DWORD *)addr;
        else DI_sig(context) = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
286 287 288 289 290 291 292
        break;
    }

    /* Store the correct segment in the segment register */

    switch(*instr)
    {
Alexandre Julliard's avatar
Alexandre Julliard committed
293 294
    case 0xc4: ES_sig(context) = seg; break;  /* les */
    case 0xc5: DS_sig(context) = seg; break;  /* lds */
Alexandre Julliard's avatar
Alexandre Julliard committed
295 296
    case 0x0f: switch(instr[1])
               {
Alexandre Julliard's avatar
Alexandre Julliard committed
297 298 299
               case 0xb2: SS_sig(context) = seg; break;  /* lss */
#ifdef FS_sig
               case 0xb4: FS_sig(context) = seg; break;  /* lfs */
Alexandre Julliard's avatar
Alexandre Julliard committed
300
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
301 302
#ifdef GS_sig
               case 0xb5: GS_sig(context) = seg; break;  /* lgs */
Alexandre Julliard's avatar
Alexandre Julliard committed
303
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
304 305 306 307 308 309 310 311 312 313 314
               }
               break;
    }

    /* Add the opcode size to the total length */

    *len += 1 + (*instr == 0x0f);
    return TRUE;
}


Alexandre Julliard's avatar
Alexandre Julliard committed
315 316 317 318 319
/***********************************************************************
 *           INSTR_EmulateInstruction
 *
 * Emulate a priviledged instruction. Returns TRUE if emulation successful.
 */
Alexandre Julliard's avatar
Alexandre Julliard committed
320
BOOL32 INSTR_EmulateInstruction( SIGCONTEXT *context )
Alexandre Julliard's avatar
Alexandre Julliard committed
321
{
Alexandre Julliard's avatar
Alexandre Julliard committed
322
    int prefix, segprefix, prefixlen, len, repX, long_op, long_addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
323
    SEGPTR gpHandler;
Alexandre Julliard's avatar
Alexandre Julliard committed
324 325
    BYTE *instr;

Alexandre Julliard's avatar
Alexandre Julliard committed
326 327 328 329 330 331 332
    /* Check for page-fault */

#if defined(TRAP_sig) && defined(CR2_sig)
    if (TRAP_sig(context) == 0x0e
        && VIRTUAL_HandleFault( (LPVOID)CR2_sig(context) )) return TRUE;
#endif

333 334
    long_op = long_addr = IS_SEL_32(context,CS_sig(context));
    instr = (BYTE *)MK_PTR(context,CS_sig(context),EIP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
335
    if (!instr) return FALSE;
Alexandre Julliard's avatar
Alexandre Julliard committed
336 337 338

    /* First handle any possible prefix */

Alexandre Julliard's avatar
Alexandre Julliard committed
339
    segprefix = -1;  /* no prefix */
Alexandre Julliard's avatar
Alexandre Julliard committed
340
    prefix = 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
341
    repX = 0;
Alexandre Julliard's avatar
Alexandre Julliard committed
342
    prefixlen = 0;
Alexandre Julliard's avatar
Alexandre Julliard committed
343 344 345 346 347
    while(prefix)
    {
        switch(*instr)
        {
        case 0x2e:
Alexandre Julliard's avatar
Alexandre Julliard committed
348
            segprefix = CS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
349 350
            break;
        case 0x36:
Alexandre Julliard's avatar
Alexandre Julliard committed
351
            segprefix = SS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
352 353
            break;
        case 0x3e:
Alexandre Julliard's avatar
Alexandre Julliard committed
354
            segprefix = DS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
355 356
            break;
        case 0x26:
Alexandre Julliard's avatar
Alexandre Julliard committed
357
            segprefix = ES_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
358
            break;
Alexandre Julliard's avatar
Alexandre Julliard committed
359
#ifdef FS_sig
Alexandre Julliard's avatar
Alexandre Julliard committed
360
        case 0x64:
Alexandre Julliard's avatar
Alexandre Julliard committed
361
            segprefix = FS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
362
            break;
Alexandre Julliard's avatar
Alexandre Julliard committed
363
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
364
#ifdef GS_sig
Alexandre Julliard's avatar
Alexandre Julliard committed
365
        case 0x65:
Alexandre Julliard's avatar
Alexandre Julliard committed
366
            segprefix = GS_sig(context);
Alexandre Julliard's avatar
Alexandre Julliard committed
367
            break;
Alexandre Julliard's avatar
Alexandre Julliard committed
368
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
369 370 371 372 373 374
        case 0x66:
            long_op = !long_op;  /* opcode size prefix */
            break;
        case 0x67:
            long_addr = !long_addr;  /* addr size prefix */
            break;
Alexandre Julliard's avatar
Alexandre Julliard committed
375
        case 0xf0:  /* lock */
Alexandre Julliard's avatar
Alexandre Julliard committed
376
	    break;
Alexandre Julliard's avatar
Alexandre Julliard committed
377
        case 0xf2:  /* repne */
Alexandre Julliard's avatar
Alexandre Julliard committed
378 379
	    repX = 1;
	    break;
Alexandre Julliard's avatar
Alexandre Julliard committed
380
        case 0xf3:  /* repe */
Alexandre Julliard's avatar
Alexandre Julliard committed
381
	    repX = 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
382
            break;
Alexandre Julliard's avatar
Alexandre Julliard committed
383 384 385 386 387 388 389
        default:
            prefix = 0;  /* no more prefixes */
            break;
        }
        if (prefix)
        {
            instr++;
Alexandre Julliard's avatar
Alexandre Julliard committed
390
            prefixlen++;
Alexandre Julliard's avatar
Alexandre Julliard committed
391 392 393 394 395 396 397
        }
    }

    /* Now look at the actual instruction */

    switch(*instr)
    {
Alexandre Julliard's avatar
Alexandre Julliard committed
398 399 400
        case 0x07: /* pop es */
        case 0x17: /* pop ss */
        case 0x1f: /* pop ds */
Alexandre Julliard's avatar
Alexandre Julliard committed
401
            {
Alexandre Julliard's avatar
Alexandre Julliard committed
402
                WORD seg = *(WORD *)STACK_PTR( context );
Alexandre Julliard's avatar
Alexandre Julliard committed
403 404 405
                if (INSTR_ReplaceSelector( context, &seg ))
                {
                    switch(*instr)
Alexandre Julliard's avatar
Alexandre Julliard committed
406
                    {
Alexandre Julliard's avatar
Alexandre Julliard committed
407 408 409
                    case 0x07: ES_sig(context) = seg; break;
                    case 0x17: SS_sig(context) = seg; break;
                    case 0x1f: DS_sig(context) = seg; break;
Alexandre Julliard's avatar
Alexandre Julliard committed
410
                    }
Alexandre Julliard's avatar
Alexandre Julliard committed
411 412
                    STACK_sig(context) += long_op ? 4 : 2;
                    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
413 414
                    return TRUE;
                }
Alexandre Julliard's avatar
Alexandre Julliard committed
415
            }
Alexandre Julliard's avatar
Alexandre Julliard committed
416
            break;  /* Unable to emulate it */
Alexandre Julliard's avatar
Alexandre Julliard committed
417

Alexandre Julliard's avatar
Alexandre Julliard committed
418 419
        case 0x0f: /* extended instruction */
            switch(instr[1])
Alexandre Julliard's avatar
Alexandre Julliard committed
420
            {
421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438
	    case 0x20: /* mov cr4, eax */
	    	if (instr[2]!=0xe0) 
			break;
		/* CR4 register . See linux/arch/i386/mm/init.c, X86_CR4_ defs
		 * bit 0: VME	Virtual Mode Exception ?
		 * bit 1: PVI	Protected mode Virtual Interrupt
		 * bit 2: TSD	Timestamp disable
		 * bit 3: DE	Debugging extensions
		 * bit 4: PSE	Page size extensions
		 * bit 5: PAE   Physical address extension
		 * bit 6: MCE	Machine check enable
		 * bit 7: PGE   Enable global pages
		 * bit 8: PCE	Enable performance counters at IPL3
		 */
		fprintf(stderr,"mov cr4,eax at 0x%08lx\n",EIP_sig(context));
		EAX_sig(context) = 0;
		EIP_sig(context) += prefixlen+3;
		return TRUE;
Alexandre Julliard's avatar
Alexandre Julliard committed
439
#ifdef FS_sig
Alexandre Julliard's avatar
Alexandre Julliard committed
440
            case 0xa1: /* pop fs */
Alexandre Julliard's avatar
Alexandre Julliard committed
441 442
                {
                    WORD seg = *(WORD *)STACK_PTR( context );
Alexandre Julliard's avatar
Alexandre Julliard committed
443
                    if (INSTR_ReplaceSelector( context, &seg ))
Alexandre Julliard's avatar
Alexandre Julliard committed
444
                    {
Alexandre Julliard's avatar
Alexandre Julliard committed
445 446 447
                        FS_sig(context) = seg;
                        STACK_sig(context) += long_op ? 4 : 2;
                        EIP_sig(context) += prefixlen + 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
448 449 450 451
                        return TRUE;
                    }
                }
                break;
Alexandre Julliard's avatar
Alexandre Julliard committed
452
#endif  /* FS_sig */
Alexandre Julliard's avatar
Alexandre Julliard committed
453

Alexandre Julliard's avatar
Alexandre Julliard committed
454
#ifdef GS_sig
Alexandre Julliard's avatar
Alexandre Julliard committed
455 456 457
            case 0xa9: /* pop gs */
                {
                    WORD seg = *(WORD *)STACK_PTR( context );
Alexandre Julliard's avatar
Alexandre Julliard committed
458
                    if (INSTR_ReplaceSelector( context, &seg ))
Alexandre Julliard's avatar
Alexandre Julliard committed
459
                    {
Alexandre Julliard's avatar
Alexandre Julliard committed
460 461 462
                        GS_sig(context) = seg;
                        STACK_sig(context) += long_op ? 4 : 2;
                        EIP_sig(context) += prefixlen + 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
463 464 465 466
                        return TRUE;
                    }
                }
                break;
Alexandre Julliard's avatar
Alexandre Julliard committed
467
#endif  /* GS_sig */
Alexandre Julliard's avatar
Alexandre Julliard committed
468

Alexandre Julliard's avatar
Alexandre Julliard committed
469
            case 0xb2: /* lss addr,reg */
Alexandre Julliard's avatar
Alexandre Julliard committed
470
#ifdef FS_sig
Alexandre Julliard's avatar
Alexandre Julliard committed
471
            case 0xb4: /* lfs addr,reg */
Alexandre Julliard's avatar
Alexandre Julliard committed
472
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
473
#ifdef GS_sig
Alexandre Julliard's avatar
Alexandre Julliard committed
474
            case 0xb5: /* lgs addr,reg */
Alexandre Julliard's avatar
Alexandre Julliard committed
475
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
476 477 478
                if (INSTR_EmulateLDS( context, instr, long_op,
                                      long_addr, segprefix, &len ))
                {
Alexandre Julliard's avatar
Alexandre Julliard committed
479
                    EIP_sig(context) += prefixlen + len;
Alexandre Julliard's avatar
Alexandre Julliard committed
480 481 482 483 484
                    return TRUE;
                }
                break;
            }
            break;  /* Unable to emulate it */
Alexandre Julliard's avatar
Alexandre Julliard committed
485

Alexandre Julliard's avatar
Alexandre Julliard committed
486 487 488 489 490 491 492
        case 0x6c: /* insb     */
        case 0x6d: /* insw/d   */
        case 0x6e: /* outsb    */
        case 0x6f: /* outsw/d  */
	    {
	      int typ = *instr;  /* Just in case it's overwritten.  */
	      int outp = (typ >= 0x6e);
Alexandre Julliard's avatar
Alexandre Julliard committed
493
	      unsigned long count = repX ?
Alexandre Julliard's avatar
Alexandre Julliard committed
494
                          (long_addr ? ECX_sig(context) : CX_sig(context)) : 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
495
	      int opsize = (typ & 1) ? (long_op ? 4 : 2) : 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
496 497
	      int step = (EFL_sig(context) & 0x400) ? -opsize : +opsize;
	      int seg = outp ? DS_sig(context) : ES_sig(context);  /* FIXME: is this right? */
Alexandre Julliard's avatar
Alexandre Julliard committed
498 499 500

	      if (outp)
		/* FIXME: Check segment readable.  */
Alexandre Julliard's avatar
Alexandre Julliard committed
501
		(void)0;
Alexandre Julliard's avatar
Alexandre Julliard committed
502 503
	      else
		/* FIXME: Check segment writeable.  */
Alexandre Julliard's avatar
Alexandre Julliard committed
504
		(void)0;
Alexandre Julliard's avatar
Alexandre Julliard committed
505 506

	      if (repX)
507
              {
Alexandre Julliard's avatar
Alexandre Julliard committed
508
		if (long_addr)
Alexandre Julliard's avatar
Alexandre Julliard committed
509
		  ECX_sig(context) = 0;
Alexandre Julliard's avatar
Alexandre Julliard committed
510
		else
Alexandre Julliard's avatar
Alexandre Julliard committed
511
		  CX_sig(context) = 0;
512
              }
Alexandre Julliard's avatar
Alexandre Julliard committed
513 514 515 516 517

	      while (count-- > 0)
		{
		  void *data;
		  if (outp)
Alexandre Julliard's avatar
Alexandre Julliard committed
518
                  {
519
		      data = MK_PTR(context, seg,
Alexandre Julliard's avatar
Alexandre Julliard committed
520 521 522
                               long_addr ? ESI_sig(context) : SI_sig(context));
		      if (long_addr) ESI_sig(context) += step;
		      else SI_sig(context) += step;
Alexandre Julliard's avatar
Alexandre Julliard committed
523
                  }
Alexandre Julliard's avatar
Alexandre Julliard committed
524
		  else
Alexandre Julliard's avatar
Alexandre Julliard committed
525
                  {
526
		      data = MK_PTR(context, seg,
Alexandre Julliard's avatar
Alexandre Julliard committed
527 528 529
                               long_addr ? EDI_sig(context) : DI_sig(context));
		      if (long_addr) EDI_sig(context) += step;
		      else DI_sig(context) += step;
Alexandre Julliard's avatar
Alexandre Julliard committed
530 531
                  }
                  
Alexandre Julliard's avatar
Alexandre Julliard committed
532
		  switch (typ)
Alexandre Julliard's avatar
Alexandre Julliard committed
533
                  {
Alexandre Julliard's avatar
Alexandre Julliard committed
534
		    case 0x6c:
Alexandre Julliard's avatar
Alexandre Julliard committed
535
		      *((BYTE *)data) = IO_inport( DX_sig(context), 1);
536 537
		      TRACE(io, "0x%x < %02x @ %04x:%04x\n", DX_sig(context),
                        *((BYTE *)data), CS_sig(context), IP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
538 539 540
		      break;
		    case 0x6d:
		      if (long_op)
541
                      {
Alexandre Julliard's avatar
Alexandre Julliard committed
542
			*((DWORD *)data) = IO_inport( DX_sig(context), 4);
543 544 545
                        TRACE(io, "0x%x < %08lx @ %04x:%04x\n", DX_sig(context),
                          *((DWORD *)data), CS_sig(context), IP_sig(context));
                      }
Alexandre Julliard's avatar
Alexandre Julliard committed
546
		      else
547
                      {
Alexandre Julliard's avatar
Alexandre Julliard committed
548
			*((WORD *)data) = IO_inport( DX_sig(context), 2);
549 550 551
                        TRACE(io, "0x%x < %04x @ %04x:%04x\n", DX_sig(context),
                          *((WORD *)data), CS_sig(context), IP_sig(context));
                      }
Alexandre Julliard's avatar
Alexandre Julliard committed
552 553
		      break;
		    case 0x6e:
Alexandre Julliard's avatar
Alexandre Julliard committed
554
                        IO_outport( DX_sig(context), 1, *((BYTE *)data));
555 556
                        TRACE(io, "0x%x > %02x @ %04x:%04x\n", DX_sig(context),
                          *((BYTE *)data), CS_sig(context), IP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
557
                        break;
Alexandre Julliard's avatar
Alexandre Julliard committed
558
		    case 0x6f:
Alexandre Julliard's avatar
Alexandre Julliard committed
559
                        if (long_op)
560
                        {
Alexandre Julliard's avatar
Alexandre Julliard committed
561
                            IO_outport( DX_sig(context), 4, *((DWORD *)data));
562 563 564
                            TRACE(io, "0x%x > %08lx @ %04x:%04x\n", DX_sig(context),
                              *((DWORD *)data), CS_sig(context), IP_sig(context)); 
                        }
Alexandre Julliard's avatar
Alexandre Julliard committed
565
                        else
566
                        {
Alexandre Julliard's avatar
Alexandre Julliard committed
567
                            IO_outport( DX_sig(context), 2, *((WORD *)data));
568 569 570
                            TRACE(io, "0x%x > %04x @ %04x:%04x\n", DX_sig(context),
                              *((WORD *)data), CS_sig(context), IP_sig(context));
                        }
Alexandre Julliard's avatar
Alexandre Julliard committed
571
                        break;
Alexandre Julliard's avatar
Alexandre Julliard committed
572 573
		    }
		}
Alexandre Julliard's avatar
Alexandre Julliard committed
574
              EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
575
	    }
Alexandre Julliard's avatar
Alexandre Julliard committed
576 577
            return TRUE;

Alexandre Julliard's avatar
Alexandre Julliard committed
578
        case 0x8e: /* mov XX,segment_reg */
Alexandre Julliard's avatar
Alexandre Julliard committed
579
            {
Alexandre Julliard's avatar
Alexandre Julliard committed
580 581
                WORD seg;
                BYTE *addr = INSTR_GetOperandAddr(context, instr + 1,
Alexandre Julliard's avatar
Alexandre Julliard committed
582
                                                  long_addr, segprefix, &len );
Alexandre Julliard's avatar
Alexandre Julliard committed
583 584 585
                if (!addr)
                    break;  /* Unable to emulate it */
                seg = *(WORD *)addr;
Alexandre Julliard's avatar
Alexandre Julliard committed
586
                if (!INSTR_ReplaceSelector( context, &seg ))
Alexandre Julliard's avatar
Alexandre Julliard committed
587 588 589 590 591
                    break;  /* Unable to emulate it */

                switch((instr[1] >> 3) & 7)
                {
                case 0:
Alexandre Julliard's avatar
Alexandre Julliard committed
592 593
                    ES_sig(context) = seg;
                    EIP_sig(context) += prefixlen + len + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
594 595 596 597
                    return TRUE;
                case 1:  /* cs */
                    break;
                case 2:
Alexandre Julliard's avatar
Alexandre Julliard committed
598 599
                    SS_sig(context) = seg;
                    EIP_sig(context) += prefixlen + len + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
600 601
                    return TRUE;
                case 3:
Alexandre Julliard's avatar
Alexandre Julliard committed
602 603
                    DS_sig(context) = seg;
                    EIP_sig(context) += prefixlen + len + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
604 605
                    return TRUE;
                case 4:
Alexandre Julliard's avatar
Alexandre Julliard committed
606 607 608
#ifdef FS_sig
                    FS_sig(context) = seg;
                    EIP_sig(context) += prefixlen + len + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
609
                    return TRUE;
Alexandre Julliard's avatar
Alexandre Julliard committed
610
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
611
                case 5:
Alexandre Julliard's avatar
Alexandre Julliard committed
612 613 614
#ifdef GS_sig
                    GS_sig(context) = seg;
                    EIP_sig(context) += prefixlen + len + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
615
                    return TRUE;
Alexandre Julliard's avatar
Alexandre Julliard committed
616
#endif
Alexandre Julliard's avatar
Alexandre Julliard committed
617 618 619 620 621 622 623 624 625 626 627 628
                case 6:  /* unused */
                case 7:  /* unused */
                    break;
                }
            }
            break;  /* Unable to emulate it */

        case 0xc4: /* les addr,reg */
        case 0xc5: /* lds addr,reg */
            if (INSTR_EmulateLDS( context, instr, long_op,
                                  long_addr, segprefix, &len ))
            {
Alexandre Julliard's avatar
Alexandre Julliard committed
629
                EIP_sig(context) += prefixlen + len;
Alexandre Julliard's avatar
Alexandre Julliard committed
630 631 632 633 634 635 636
                return TRUE;
            }
            break;  /* Unable to emulate it */
            
        case 0xcd: /* int <XX> */
            if (long_op)
            {
Alexandre Julliard's avatar
Alexandre Julliard committed
637
                ERR(int, "int xx from 32-bit code is not supported.\n");
Alexandre Julliard's avatar
Alexandre Julliard committed
638 639 640 641
                break;  /* Unable to emulate it */
            }
            else
            {
Alexandre Julliard's avatar
Alexandre Julliard committed
642
                FARPROC16 addr = INT_GetPMHandler( instr[1] );
Alexandre Julliard's avatar
Alexandre Julliard committed
643 644
                WORD *stack = (WORD *)STACK_PTR( context );
                /* Push the flags and return address on the stack */
Alexandre Julliard's avatar
Alexandre Julliard committed
645 646 647 648
                *(--stack) = FL_sig(context);
                *(--stack) = CS_sig(context);
                *(--stack) = IP_sig(context) + prefixlen + 2;
                STACK_sig(context) -= 3 * sizeof(WORD);
Alexandre Julliard's avatar
Alexandre Julliard committed
649
                /* Jump to the interrupt handler */
Alexandre Julliard's avatar
Alexandre Julliard committed
650 651
                CS_sig(context)  = HIWORD(addr);
                EIP_sig(context) = LOWORD(addr);
Alexandre Julliard's avatar
Alexandre Julliard committed
652 653
            }
            return TRUE;
Alexandre Julliard's avatar
Alexandre Julliard committed
654

Alexandre Julliard's avatar
Alexandre Julliard committed
655 656 657 658
        case 0xcf: /* iret */
            if (long_op)
            {
                DWORD *stack = (DWORD *)STACK_PTR( context );
Alexandre Julliard's avatar
Alexandre Julliard committed
659 660 661 662
                EIP_sig(context) = *stack++;
                CS_sig(context)  = *stack++;
                EFL_sig(context) = *stack;
                STACK_sig(context) += 3*sizeof(DWORD);  /* Pop the return address and flags */
Alexandre Julliard's avatar
Alexandre Julliard committed
663 664 665 666
            }
            else
            {
                WORD *stack = (WORD *)STACK_PTR( context );
Alexandre Julliard's avatar
Alexandre Julliard committed
667 668 669 670
                EIP_sig(context) = *stack++;
                CS_sig(context)  = *stack++;
                FL_sig(context)  = *stack;
                STACK_sig(context) += 3*sizeof(WORD);  /* Pop the return address and flags */
Alexandre Julliard's avatar
Alexandre Julliard committed
671 672 673 674
            }
            return TRUE;

        case 0xe4: /* inb al,XX */
Alexandre Julliard's avatar
Alexandre Julliard committed
675
            AL_sig(context) = IO_inport( instr[1], 1 );
676 677
            TRACE(io, "0x%x < %02x @ %04x:%04x\n", instr[1],
                AL_sig(context), CS_sig(context), IP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
678
	    EIP_sig(context) += prefixlen + 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
679 680 681
            return TRUE;

        case 0xe5: /* in (e)ax,XX */
682 683 684 685 686 687 688 689 690 691 692 693
            if (long_op)
            {
                EAX_sig(context) = IO_inport( instr[1], 4 );
                TRACE(io, "0x%x < %08lx @ %04x:%04x\n", instr[1],
                    EAX_sig(context), CS_sig(context), IP_sig(context));
            }
            else
            {
                AX_sig(context) = IO_inport( instr[1], 2 );
                TRACE(io, "0x%x < %04x @ %04x:%04x\n", instr[1],
                    AX_sig(context), CS_sig(context), IP_sig(context));
            }
Alexandre Julliard's avatar
Alexandre Julliard committed
694
	    EIP_sig(context) += prefixlen + 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
695 696 697
            return TRUE;

        case 0xe6: /* outb XX,al */
Alexandre Julliard's avatar
Alexandre Julliard committed
698
            IO_outport( instr[1], 1, AL_sig(context) );
699 700
            TRACE(io, "0x%x > %02x @ %04x:%04x\n", instr[1],
                AL_sig(context), CS_sig(context), IP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
701
	    EIP_sig(context) += prefixlen + 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
702 703 704
            return TRUE;

        case 0xe7: /* out XX,(e)ax */
705 706 707 708 709 710 711 712 713 714 715 716
            if (long_op)
            {
                IO_outport( instr[1], 4, EAX_sig(context) );
                TRACE(io, "0x%x > %08lx @ %04x:%04x\n", instr[1],
                    EAX_sig(context), CS_sig(context), IP_sig(context));
            }
            else
            {
                IO_outport( instr[1], 2, AX_sig(context) );
                TRACE(io, "0x%x > %04x @ %04x:%04x\n", instr[1],
                    AX_sig(context), CS_sig(context), IP_sig(context));
            }
Alexandre Julliard's avatar
Alexandre Julliard committed
717
  	    EIP_sig(context) += prefixlen + 2;
Alexandre Julliard's avatar
Alexandre Julliard committed
718 719 720
            return TRUE;

        case 0xec: /* inb al,dx */
Alexandre Julliard's avatar
Alexandre Julliard committed
721
            AL_sig(context) = IO_inport( DX_sig(context), 1 );
722 723
            TRACE(io, "0x%x < %02x @ %04x:%04x\n", DX_sig(context),
                AL_sig(context), CS_sig(context), IP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
724
  	    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
725 726 727
            return TRUE;

        case 0xed: /* in (e)ax,dx */
728 729 730 731 732 733 734 735 736 737 738 739
            if (long_op)
            {
                EAX_sig(context) = IO_inport( DX_sig(context), 4 );
                TRACE(io, "0x%x < %08lx @ %04x:%04x\n", DX_sig(context),
                    EAX_sig(context), CS_sig(context), IP_sig(context));
            }
            else
            {
                AX_sig(context) = IO_inport( DX_sig(context), 2 );
                TRACE(io, "0x%x < %04x @ %04x:%04x\n", DX_sig(context),
                    AX_sig(context), CS_sig(context), IP_sig(context));
            }
Alexandre Julliard's avatar
Alexandre Julliard committed
740
  	    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
741 742 743
            return TRUE;

        case 0xee: /* outb dx,al */
Alexandre Julliard's avatar
Alexandre Julliard committed
744
            IO_outport( DX_sig(context), 1, AL_sig(context) );
745 746
            TRACE(io, "0x%x > %02x @ %04x:%04x\n", DX_sig(context),
                AL_sig(context), CS_sig(context), IP_sig(context));
Alexandre Julliard's avatar
Alexandre Julliard committed
747
  	    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
748 749 750
            return TRUE;
      
        case 0xef: /* out dx,(e)ax */
751 752 753 754 755 756 757 758 759 760 761 762
            if (long_op)
            {
                IO_outport( DX_sig(context), 4, EAX_sig(context) );
                TRACE(io, "0x%x > %08lx @ %04x:%04x\n", DX_sig(context),
                    EAX_sig(context), CS_sig(context), IP_sig(context));
            }
            else
            {
                IO_outport( DX_sig(context), 2, AX_sig(context) );
                TRACE(io, "0x%x > %04x @ %04x:%04x\n", DX_sig(context),
                    AX_sig(context), CS_sig(context), IP_sig(context));
            }
Alexandre Julliard's avatar
Alexandre Julliard committed
763
  	    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
764 765 766
            return TRUE;

        case 0xfa: /* cli, ignored */
Alexandre Julliard's avatar
Alexandre Julliard committed
767
  	    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
768 769 770
            return TRUE;

        case 0xfb: /* sti, ignored */
Alexandre Julliard's avatar
Alexandre Julliard committed
771
  	    EIP_sig(context) += prefixlen + 1;
Alexandre Julliard's avatar
Alexandre Julliard committed
772
            return TRUE;
Alexandre Julliard's avatar
Alexandre Julliard committed
773
    }
Alexandre Julliard's avatar
Alexandre Julliard committed
774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790


    /* Check for Win16 __GP handler */
    gpHandler = HasGPHandler( PTR_SEG_OFF_TO_SEGPTR( CS_sig(context),
                                                     EIP_sig(context) ) );
    if (gpHandler)
    {
        WORD *stack = (WORD *)STACK_PTR( context );
        *--stack = CS_sig(context);
        *--stack = EIP_sig(context);
        STACK_sig(context) -= 2*sizeof(WORD);

        CS_sig(context) = SELECTOROF( gpHandler );
        EIP_sig(context) = OFFSETOF( gpHandler );
        return TRUE;
    }

Alexandre Julliard's avatar
Alexandre Julliard committed
791
    MSG("Unexpected Windows program segfault"
Alexandre Julliard's avatar
Alexandre Julliard committed
792 793
                    " - opcode = %x\n", *instr);
    return FALSE;  /* Unable to emulate it */
Alexandre Julliard's avatar
Alexandre Julliard committed
794
}