helper.c 18.5 KB
Newer Older
B
bellard 已提交
1 2
/*
 *  MIPS emulation helpers for qemu.
3
 *
B
bellard 已提交
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
 *  Copyright (c) 2004-2005 Jocelyn Mayer
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */
20 21 22 23 24 25 26 27 28 29
#include <stdarg.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <inttypes.h>
#include <signal.h>
#include <assert.h>

#include "cpu.h"
#include "exec-all.h"
B
bellard 已提交
30

31 32 33 34 35 36 37 38
enum {
    TLBRET_DIRTY = -4,
    TLBRET_INVALID = -3,
    TLBRET_NOMATCH = -2,
    TLBRET_BADADDR = -1,
    TLBRET_MATCH = 0
};

39 40
/* no MMU emulation */
int no_mmu_map_address (CPUState *env, target_ulong *physical, int *prot,
B
bellard 已提交
41
                        target_ulong address, int rw, int access_type)
42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
{
    *physical = address;
    *prot = PAGE_READ | PAGE_WRITE;
    return TLBRET_MATCH;
}

/* fixed mapping MMU emulation */
int fixed_mmu_map_address (CPUState *env, target_ulong *physical, int *prot,
                           target_ulong address, int rw, int access_type)
{
    if (address <= (int32_t)0x7FFFFFFFUL) {
        if (!(env->CP0_Status & (1 << CP0St_ERL)))
            *physical = address + 0x40000000UL;
        else
            *physical = address;
    } else if (address <= (int32_t)0xBFFFFFFFUL)
        *physical = address & 0x1FFFFFFF;
    else
        *physical = address;

    *prot = PAGE_READ | PAGE_WRITE;
    return TLBRET_MATCH;
}

/* MIPS32/MIPS64 R4000-style MMU emulation */
int r4k_map_address (CPUState *env, target_ulong *physical, int *prot,
                     target_ulong address, int rw, int access_type)
B
bellard 已提交
69
{
70
    uint8_t ASID = env->CP0_EntryHi & 0xFF;
T
ths 已提交
71
    int i;
B
bellard 已提交
72

73 74
    for (i = 0; i < env->tlb->tlb_in_use; i++) {
        r4k_tlb_t *tlb = &env->tlb->mmu.r4k.tlb[i];
T
ths 已提交
75
        /* 1k pages are not supported. */
T
ths 已提交
76
        target_ulong mask = tlb->PageMask | ~(TARGET_PAGE_MASK << 1);
T
ths 已提交
77
        target_ulong tag = address & ~mask;
T
ths 已提交
78
        target_ulong VPN = tlb->VPN & ~mask;
79
#ifdef TARGET_MIPS64
T
ths 已提交
80
        tag &= env->SEGMask;
81
#endif
T
ths 已提交
82

B
bellard 已提交
83
        /* Check ASID, virtual page number & size */
T
ths 已提交
84
        if ((tlb->G == 1 || tlb->ASID == ASID) && VPN == tag) {
B
bellard 已提交
85
            /* TLB match */
T
ths 已提交
86
            int n = !!(address & mask & ~(mask >> 1));
B
bellard 已提交
87
            /* Check access rights */
T
ths 已提交
88
            if (!(n ? tlb->V1 : tlb->V0))
89
                return TLBRET_INVALID;
T
ths 已提交
90
            if (rw == 0 || (n ? tlb->D1 : tlb->D0)) {
T
ths 已提交
91
                *physical = tlb->PFN[n] | (address & (mask >> 1));
B
bellard 已提交
92
                *prot = PAGE_READ;
93
                if (n ? tlb->D1 : tlb->D0)
B
bellard 已提交
94
                    *prot |= PAGE_WRITE;
95
                return TLBRET_MATCH;
B
bellard 已提交
96
            }
97
            return TLBRET_DIRTY;
B
bellard 已提交
98 99
        }
    }
100
    return TLBRET_NOMATCH;
B
bellard 已提交
101 102
}

103 104 105
static int get_physical_address (CPUState *env, target_ulong *physical,
                                int *prot, target_ulong address,
                                int rw, int access_type)
B
bellard 已提交
106
{
107
    /* User mode can only access useg/xuseg */
108
    int user_mode = (env->hflags & MIPS_HFLAG_MODE) == MIPS_HFLAG_UM;
109 110 111 112 113
#ifdef TARGET_MIPS64
    int UX = (env->CP0_Status & (1 << CP0St_UX)) != 0;
    int SX = (env->CP0_Status & (1 << CP0St_SX)) != 0;
    int KX = (env->CP0_Status & (1 << CP0St_KX)) != 0;
#endif
114 115
    int ret = TLBRET_MATCH;

B
bellard 已提交
116 117 118 119 120 121
#if 0
    if (logfile) {
        fprintf(logfile, "user mode %d h %08x\n",
                user_mode, env->hflags);
    }
#endif
122 123 124 125 126

#ifdef TARGET_MIPS64
    if (user_mode && address > 0x3FFFFFFFFFFFFFFFULL)
        return TLBRET_BADADDR;
#else
B
bellard 已提交
127
    if (user_mode && address > 0x7FFFFFFFUL)
128
        return TLBRET_BADADDR;
129 130 131 132
#endif

    if (address <= (int32_t)0x7FFFFFFFUL) {
        /* useg */
133
        if (env->CP0_Status & (1 << CP0St_ERL)) {
134
            *physical = address & 0xFFFFFFFF;
B
bellard 已提交
135
            *prot = PAGE_READ | PAGE_WRITE;
136
        } else {
137
            ret = env->tlb->map_address(env, physical, prot, address, rw, access_type);
B
bellard 已提交
138
        }
139 140 141 142 143 144 145
#ifdef TARGET_MIPS64
/*
   XXX: Assuming :
   - PABITS = 36 (correct for MIPS64R1)
*/
    } else if (address < 0x3FFFFFFFFFFFFFFFULL) {
        /* xuseg */
T
ths 已提交
146
	if (UX && address < (0x3FFFFFFFFFFFFFFFULL & env->SEGMask)) {
147
            ret = env->tlb->map_address(env, physical, prot, address, rw, access_type);
148 149 150 151 152
	} else {
	    ret = TLBRET_BADADDR;
        }
    } else if (address < 0x7FFFFFFFFFFFFFFFULL) {
        /* xsseg */
T
ths 已提交
153
	if (SX && address < (0x7FFFFFFFFFFFFFFFULL & env->SEGMask)) {
154
            ret = env->tlb->map_address(env, physical, prot, address, rw, access_type);
155 156 157 158 159 160
	} else {
	    ret = TLBRET_BADADDR;
        }
    } else if (address < 0xBFFFFFFFFFFFFFFFULL) {
        /* xkphys */
        /* XXX: check supervisor mode */
T
ths 已提交
161
        if (KX && (address & 0x07FFFFFFFFFFFFFFULL) < 0X0000000FFFFFFFFFULL)
162
	{
T
ths 已提交
163
            *physical = address & 0X0000000FFFFFFFFFULL;
164 165 166 167 168 169 170
            *prot = PAGE_READ | PAGE_WRITE;
	} else {
	    ret = TLBRET_BADADDR;
	}
    } else if (address < 0xFFFFFFFF7FFFFFFFULL) {
        /* xkseg */
        /* XXX: check supervisor mode */
T
ths 已提交
171
	if (KX && address < (0xFFFFFFFF7FFFFFFFULL & env->SEGMask)) {
172
            ret = env->tlb->map_address(env, physical, prot, address, rw, access_type);
173 174 175 176
	} else {
	    ret = TLBRET_BADADDR;
	}
#endif
T
ths 已提交
177
    } else if (address < (int32_t)0xA0000000UL) {
B
bellard 已提交
178 179
        /* kseg0 */
        /* XXX: check supervisor mode */
T
ths 已提交
180
        *physical = address - (int32_t)0x80000000UL;
B
bellard 已提交
181
        *prot = PAGE_READ | PAGE_WRITE;
T
ths 已提交
182
    } else if (address < (int32_t)0xC0000000UL) {
B
bellard 已提交
183 184
        /* kseg1 */
        /* XXX: check supervisor mode */
T
ths 已提交
185
        *physical = address - (int32_t)0xA0000000UL;
B
bellard 已提交
186
        *prot = PAGE_READ | PAGE_WRITE;
T
ths 已提交
187
    } else if (address < (int32_t)0xE0000000UL) {
B
bellard 已提交
188
        /* kseg2 */
189
        ret = env->tlb->map_address(env, physical, prot, address, rw, access_type);
B
bellard 已提交
190 191 192 193
    } else {
        /* kseg3 */
        /* XXX: check supervisor mode */
        /* XXX: debug segment is not emulated */
194
        ret = env->tlb->map_address(env, physical, prot, address, rw, access_type);
B
bellard 已提交
195 196 197
    }
#if 0
    if (logfile) {
T
ths 已提交
198
        fprintf(logfile, TARGET_FMT_lx " %d %d => " TARGET_FMT_lx " %d (%d)\n",
199
		address, rw, access_type, *physical, *prot, ret);
B
bellard 已提交
200 201 202 203 204 205
    }
#endif

    return ret;
}

206
#if defined(CONFIG_USER_ONLY)
207
target_phys_addr_t cpu_get_phys_page_debug(CPUState *env, target_ulong addr)
B
bellard 已提交
208 209 210 211
{
    return addr;
}
#else
212
target_phys_addr_t cpu_get_phys_page_debug(CPUState *env, target_ulong addr)
B
bellard 已提交
213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236
{
    target_ulong phys_addr;
    int prot;

    if (get_physical_address(env, &phys_addr, &prot, addr, 0, ACCESS_INT) != 0)
        return -1;
    return phys_addr;
}

void cpu_mips_init_mmu (CPUState *env)
{
}
#endif /* !defined(CONFIG_USER_ONLY) */

int cpu_mips_handle_mmu_fault (CPUState *env, target_ulong address, int rw,
                               int is_user, int is_softmmu)
{
    target_ulong physical;
    int prot;
    int exception = 0, error_code = 0;
    int access_type;
    int ret = 0;

    if (logfile) {
B
bellard 已提交
237
#if 0
B
bellard 已提交
238
        cpu_dump_state(env, logfile, fprintf, 0);
B
bellard 已提交
239
#endif
T
ths 已提交
240
        fprintf(logfile, "%s pc " TARGET_FMT_lx " ad " TARGET_FMT_lx " rw %d is_user %d smmu %d\n",
241
                __func__, env->PC[env->current_tc], address, rw, is_user, is_softmmu);
B
bellard 已提交
242
    }
B
bellard 已提交
243 244 245

    rw &= 1;

B
bellard 已提交
246 247 248 249 250 251
    /* data access */
    /* XXX: put correct access by using cpu_restore_state()
       correctly */
    access_type = ACCESS_INT;
    if (env->user_mode_only) {
        /* user mode only emulation */
252
        ret = TLBRET_NOMATCH;
B
bellard 已提交
253 254 255 256 257
        goto do_fault;
    }
    ret = get_physical_address(env, &physical, &prot,
                               address, rw, access_type);
    if (logfile) {
T
ths 已提交
258
        fprintf(logfile, "%s address=" TARGET_FMT_lx " ret %d physical " TARGET_FMT_lx " prot %d\n",
B
bellard 已提交
259 260
                __func__, address, ret, physical, prot);
    }
261 262 263 264
    if (ret == TLBRET_MATCH) {
       ret = tlb_set_page(env, address & TARGET_PAGE_MASK,
                          physical & TARGET_PAGE_MASK, prot,
                          is_user, is_softmmu);
B
bellard 已提交
265 266 267 268
    } else if (ret < 0) {
    do_fault:
        switch (ret) {
        default:
269
        case TLBRET_BADADDR:
B
bellard 已提交
270 271 272 273 274 275 276
            /* Reference to kernel address from user mode or supervisor mode */
            /* Reference to supervisor address from user mode */
            if (rw)
                exception = EXCP_AdES;
            else
                exception = EXCP_AdEL;
            break;
277
        case TLBRET_NOMATCH:
B
bellard 已提交
278 279 280 281 282 283 284
            /* No TLB match for a mapped address */
            if (rw)
                exception = EXCP_TLBS;
            else
                exception = EXCP_TLBL;
            error_code = 1;
            break;
285
        case TLBRET_INVALID:
B
bellard 已提交
286 287 288 289 290 291
            /* TLB match with no valid bit */
            if (rw)
                exception = EXCP_TLBS;
            else
                exception = EXCP_TLBL;
            break;
292
        case TLBRET_DIRTY:
B
bellard 已提交
293 294 295
            /* TLB match but 'D' bit is cleared */
            exception = EXCP_LTLBL;
            break;
296

B
bellard 已提交
297 298 299
        }
        /* Raise exception */
        env->CP0_BadVAddr = address;
300
        env->CP0_Context = (env->CP0_Context & ~0x007fffff) |
B
bellard 已提交
301
	                   ((address >> 9) &   0x007ffff0);
B
bellard 已提交
302
        env->CP0_EntryHi =
303
            (env->CP0_EntryHi & 0xFF) | (address & (TARGET_PAGE_MASK << 1));
304
#ifdef TARGET_MIPS64
T
ths 已提交
305 306 307 308
        env->CP0_EntryHi &= env->SEGMask;
        env->CP0_XContext = (env->CP0_XContext & ((~0ULL) << (env->SEGBITS - 7))) |
                            ((address & 0xC00000000000ULL) >> (env->SEGBITS - 9)) |
                            ((address & ((1ULL << env->SEGBITS) - 1) & 0xFFFFFFFFFFFFE000ULL) >> 9);
309
#endif
B
bellard 已提交
310 311 312 313 314 315 316 317
        env->exception_index = exception;
        env->error_code = error_code;
        ret = 1;
    }

    return ret;
}

318 319 320 321 322 323
#if defined(CONFIG_USER_ONLY)
void do_interrupt (CPUState *env)
{
    env->exception_index = EXCP_NONE;
}
#else
B
bellard 已提交
324 325
void do_interrupt (CPUState *env)
{
326
    target_ulong offset;
B
bellard 已提交
327 328 329
    int cause = -1;

    if (logfile && env->exception_index != EXCP_EXT_INTERRUPT) {
T
ths 已提交
330
        fprintf(logfile, "%s enter: PC " TARGET_FMT_lx " EPC " TARGET_FMT_lx " cause %d excp %d\n",
331
                __func__, env->PC[env->current_tc], env->CP0_EPC, cause, env->exception_index);
B
bellard 已提交
332 333 334 335 336 337 338 339 340 341 342 343 344
    }
    if (env->exception_index == EXCP_EXT_INTERRUPT &&
        (env->hflags & MIPS_HFLAG_DM))
        env->exception_index = EXCP_DINT;
    offset = 0x180;
    switch (env->exception_index) {
    case EXCP_DSS:
        env->CP0_Debug |= 1 << CP0DB_DSS;
        /* Debug single step cannot be raised inside a delay slot and
         * resume will always occur on the next instruction
         * (but we assume the pc has always been updated during
         *  code translation).
         */
345
        env->CP0_DEPC = env->PC[env->current_tc];
B
bellard 已提交
346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361
        goto enter_debug_mode;
    case EXCP_DINT:
        env->CP0_Debug |= 1 << CP0DB_DINT;
        goto set_DEPC;
    case EXCP_DIB:
        env->CP0_Debug |= 1 << CP0DB_DIB;
        goto set_DEPC;
    case EXCP_DBp:
        env->CP0_Debug |= 1 << CP0DB_DBp;
        goto set_DEPC;
    case EXCP_DDBS:
        env->CP0_Debug |= 1 << CP0DB_DDBS;
        goto set_DEPC;
    case EXCP_DDBL:
        env->CP0_Debug |= 1 << CP0DB_DDBL;
    set_DEPC:
B
bellard 已提交
362
        if (env->hflags & MIPS_HFLAG_BMASK) {
B
bellard 已提交
363
            /* If the exception was raised from a delay slot,
364
               come back to the jump.  */
365
            env->CP0_DEPC = env->PC[env->current_tc] - 4;
B
bellard 已提交
366
            env->hflags &= ~MIPS_HFLAG_BMASK;
B
bellard 已提交
367
        } else {
368
            env->CP0_DEPC = env->PC[env->current_tc];
B
bellard 已提交
369 370 371
        }
    enter_debug_mode:
        env->hflags |= MIPS_HFLAG_DM;
372
        env->hflags |= MIPS_HFLAG_64;
T
ths 已提交
373
        env->hflags &= ~MIPS_HFLAG_UM;
B
bellard 已提交
374
        /* EJTAG probe trap enable is not implemented... */
375 376
        if (!(env->CP0_Status & (1 << CP0St_EXL)))
            env->CP0_Cause &= ~(1 << CP0Ca_BD);
377
        env->PC[env->current_tc] = (int32_t)0xBFC00480;
B
bellard 已提交
378 379
        break;
    case EXCP_RESET:
380 381
        cpu_reset(env);
        break;
B
bellard 已提交
382
    case EXCP_SRESET:
T
ths 已提交
383
        env->CP0_Status |= (1 << CP0St_SR);
384
        memset(env->CP0_WatchLo, 0, sizeof(*env->CP0_WatchLo));
B
bellard 已提交
385 386
        goto set_error_EPC;
    case EXCP_NMI:
T
ths 已提交
387
        env->CP0_Status |= (1 << CP0St_NMI);
B
bellard 已提交
388
    set_error_EPC:
B
bellard 已提交
389
        if (env->hflags & MIPS_HFLAG_BMASK) {
B
bellard 已提交
390
            /* If the exception was raised from a delay slot,
391
               come back to the jump.  */
392
            env->CP0_ErrorEPC = env->PC[env->current_tc] - 4;
393
            env->hflags &= ~MIPS_HFLAG_BMASK;
B
bellard 已提交
394
        } else {
395
            env->CP0_ErrorEPC = env->PC[env->current_tc];
B
bellard 已提交
396
        }
T
ths 已提交
397
        env->CP0_Status |= (1 << CP0St_ERL) | (1 << CP0St_BEV);
398
        env->hflags |= MIPS_HFLAG_64;
T
ths 已提交
399
        env->hflags &= ~MIPS_HFLAG_UM;
400 401
        if (!(env->CP0_Status & (1 << CP0St_EXL)))
            env->CP0_Cause &= ~(1 << CP0Ca_BD);
402
        env->PC[env->current_tc] = (int32_t)0xBFC00000;
B
bellard 已提交
403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418
        break;
    case EXCP_MCHECK:
        cause = 24;
        goto set_EPC;
    case EXCP_EXT_INTERRUPT:
        cause = 0;
        if (env->CP0_Cause & (1 << CP0Ca_IV))
            offset = 0x200;
        goto set_EPC;
    case EXCP_DWATCH:
        cause = 23;
        /* XXX: TODO: manage defered watch exceptions */
        goto set_EPC;
    case EXCP_AdEL:
        cause = 4;
        goto set_EPC;
T
ths 已提交
419 420 421
    case EXCP_AdES:
        cause = 5;
        goto set_EPC;
B
bellard 已提交
422 423
    case EXCP_TLBL:
        cause = 2;
424 425 426 427 428 429 430 431 432 433 434 435 436
        if (env->error_code == 1 && !(env->CP0_Status & (1 << CP0St_EXL))) {
#ifdef TARGET_MIPS64
            int R = env->CP0_BadVAddr >> 62;
            int UX = (env->CP0_Status & (1 << CP0St_UX)) != 0;
            int SX = (env->CP0_Status & (1 << CP0St_SX)) != 0;
            int KX = (env->CP0_Status & (1 << CP0St_KX)) != 0;

            if ((R == 0 && UX) || (R == 1 && SX) || (R == 3 && KX))
                offset = 0x080;
            else
#endif
                offset = 0x000;
        }
B
bellard 已提交
437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454
        goto set_EPC;
    case EXCP_IBE:
        cause = 6;
        goto set_EPC;
    case EXCP_DBE:
        cause = 7;
        goto set_EPC;
    case EXCP_SYSCALL:
        cause = 8;
        goto set_EPC;
    case EXCP_BREAK:
        cause = 9;
        goto set_EPC;
    case EXCP_RI:
        cause = 10;
        goto set_EPC;
    case EXCP_CpU:
        cause = 11;
455 456
        env->CP0_Cause = (env->CP0_Cause & ~(0x3 << CP0Ca_CE)) |
                         (env->error_code << CP0Ca_CE);
B
bellard 已提交
457 458 459 460 461 462 463
        goto set_EPC;
    case EXCP_OVERFLOW:
        cause = 12;
        goto set_EPC;
    case EXCP_TRAP:
        cause = 13;
        goto set_EPC;
464 465 466
    case EXCP_FPE:
        cause = 15;
        goto set_EPC;
B
bellard 已提交
467 468 469 470 471
    case EXCP_LTLBL:
        cause = 1;
        goto set_EPC;
    case EXCP_TLBS:
        cause = 3;
472 473 474
        goto set_EPC;
    case EXCP_THREAD:
        cause = 25;
475 476 477 478 479 480 481 482 483 484 485 486 487
        if (env->error_code == 1 && !(env->CP0_Status & (1 << CP0St_EXL))) {
#ifdef TARGET_MIPS64
            int R = env->CP0_BadVAddr >> 62;
            int UX = (env->CP0_Status & (1 << CP0St_UX)) != 0;
            int SX = (env->CP0_Status & (1 << CP0St_SX)) != 0;
            int KX = (env->CP0_Status & (1 << CP0St_KX)) != 0;

            if ((R == 0 && UX) || (R == 1 && SX) || (R == 3 && KX))
                offset = 0x080;
            else
#endif
                offset = 0x000;
        }
B
bellard 已提交
488
    set_EPC:
T
ths 已提交
489 490 491 492
        if (!(env->CP0_Status & (1 << CP0St_EXL))) {
            if (env->hflags & MIPS_HFLAG_BMASK) {
                /* If the exception was raised from a delay slot,
                   come back to the jump.  */
493
                env->CP0_EPC = env->PC[env->current_tc] - 4;
494
                env->CP0_Cause |= (1 << CP0Ca_BD);
T
ths 已提交
495
            } else {
496
                env->CP0_EPC = env->PC[env->current_tc];
T
ths 已提交
497 498 499
                env->CP0_Cause &= ~(1 << CP0Ca_BD);
            }
            env->CP0_Status |= (1 << CP0St_EXL);
500
            env->hflags |= MIPS_HFLAG_64;
T
ths 已提交
501
            env->hflags &= ~MIPS_HFLAG_UM;
B
bellard 已提交
502
        }
T
ths 已提交
503
        env->hflags &= ~MIPS_HFLAG_BMASK;
504
        if (env->CP0_Status & (1 << CP0St_BEV)) {
505
            env->PC[env->current_tc] = (int32_t)0xBFC00200;
506
        } else {
507
            env->PC[env->current_tc] = (int32_t)(env->CP0_EBase & ~0x3ff);
508
        }
509
        env->PC[env->current_tc] += offset;
510
        env->CP0_Cause = (env->CP0_Cause & ~(0x1f << CP0Ca_EC)) | (cause << CP0Ca_EC);
B
bellard 已提交
511 512 513 514 515 516 517 518 519 520
        break;
    default:
        if (logfile) {
            fprintf(logfile, "Invalid MIPS exception %d. Exiting\n",
                    env->exception_index);
        }
        printf("Invalid MIPS exception %d. Exiting\n", env->exception_index);
        exit(1);
    }
    if (logfile && env->exception_index != EXCP_EXT_INTERRUPT) {
T
ths 已提交
521 522
        fprintf(logfile, "%s: PC " TARGET_FMT_lx " EPC " TARGET_FMT_lx " cause %d excp %d\n"
                "    S %08x C %08x A " TARGET_FMT_lx " D " TARGET_FMT_lx "\n",
523
                __func__, env->PC[env->current_tc], env->CP0_EPC, cause, env->exception_index,
B
bellard 已提交
524 525 526 527 528
                env->CP0_Status, env->CP0_Cause, env->CP0_BadVAddr,
                env->CP0_DEPC);
    }
    env->exception_index = EXCP_NONE;
}
529
#endif /* !defined(CONFIG_USER_ONLY) */
530

531
void r4k_invalidate_tlb (CPUState *env, int idx, int use_extra)
532
{
533
    r4k_tlb_t *tlb;
T
ths 已提交
534 535 536 537
    target_ulong addr;
    target_ulong end;
    uint8_t ASID = env->CP0_EntryHi & 0xFF;
    target_ulong mask;
538

539
    tlb = &env->tlb->mmu.r4k.tlb[idx];
T
ths 已提交
540
    /* The qemu TLB is flushed when the ASID changes, so no need to
541 542 543 544 545
       flush these entries again.  */
    if (tlb->G == 0 && tlb->ASID != ASID) {
        return;
    }

546
    if (use_extra && env->tlb->tlb_in_use < MIPS_TLB_MAX) {
547 548 549
        /* For tlbwr, we can shadow the discarded entry into
	   a new (fake) TLB entry, as long as the guest can not
	   tell that it's there.  */
550 551
        env->tlb->mmu.r4k.tlb[env->tlb->tlb_in_use] = *tlb;
        env->tlb->tlb_in_use++;
552 553 554
        return;
    }

T
ths 已提交
555
    /* 1k pages are not supported. */
T
ths 已提交
556
    mask = tlb->PageMask | ~(TARGET_PAGE_MASK << 1);
T
ths 已提交
557
    if (tlb->V0) {
T
ths 已提交
558
        addr = tlb->VPN & ~mask;
559
#ifdef TARGET_MIPS64
T
ths 已提交
560
        if (addr >= (0xFFFFFFFF80000000ULL & env->SEGMask)) {
561 562 563
            addr |= 0x3FFFFF0000000000ULL;
        }
#endif
T
ths 已提交
564 565 566 567 568 569 570
        end = addr | (mask >> 1);
        while (addr < end) {
            tlb_flush_page (env, addr);
            addr += TARGET_PAGE_SIZE;
        }
    }
    if (tlb->V1) {
T
ths 已提交
571
        addr = (tlb->VPN & ~mask) | ((mask >> 1) + 1);
572
#ifdef TARGET_MIPS64
T
ths 已提交
573
        if (addr >= (0xFFFFFFFF80000000ULL & env->SEGMask)) {
574 575 576
            addr |= 0x3FFFFF0000000000ULL;
        }
#endif
T
ths 已提交
577 578 579 580 581 582
        end = addr | mask;
        while (addr < end) {
            tlb_flush_page (env, addr);
            addr += TARGET_PAGE_SIZE;
        }
    }
583
}