cpu.cc (6331:d947798df4a1) cpu.cc (6739:48d10ba361c9)
1/*
2 * Copyright (c) 2006 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 312 unchanged lines hidden (view full) ---

321}
322#endif // FULL_SYSTEM
323
324bool
325CheckerCPU::checkFlags(Request *req)
326{
327 // Remove any dynamic flags that don't have to do with the request itself.
328 unsigned flags = unverifiedReq->getFlags();
1/*
2 * Copyright (c) 2006 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 312 unchanged lines hidden (view full) ---

321}
322#endif // FULL_SYSTEM
323
324bool
325CheckerCPU::checkFlags(Request *req)
326{
327 // Remove any dynamic flags that don't have to do with the request itself.
328 unsigned flags = unverifiedReq->getFlags();
329 unsigned mask = LOCKED | PHYSICAL | VPTE | ALTMODE | UNCACHEABLE | NO_FAULT;
329 unsigned mask = LOCKED | PHYSICAL | VPTE | ALTMODE | UNCACHEABLE | PREFETCH;
330 flags = flags & (mask);
331 if (flags == req->getFlags()) {
332 return false;
333 } else {
334 return true;
335 }
336}
337
338void
339CheckerCPU::dumpAndExit()
340{
341 warn("%lli: Checker PC:%#x, next PC:%#x",
342 curTick, thread->readPC(), thread->readNextPC());
343 panic("Checker found an error!");
344}
330 flags = flags & (mask);
331 if (flags == req->getFlags()) {
332 return false;
333 } else {
334 return true;
335 }
336}
337
338void
339CheckerCPU::dumpAndExit()
340{
341 warn("%lli: Checker PC:%#x, next PC:%#x",
342 curTick, thread->readPC(), thread->readNextPC());
343 panic("Checker found an error!");
344}