1
2/*
3 * Copyright (c) 1999-2008 Mark D. Hill and David A. Wood
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are
8 * met: redistributions of source code must retain the above copyright

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

485// this can be called from setState whenever coherence permissions are upgraded
486// when invoked, coherence violations will be checked for the given block
487void Sequencer::checkCoherence(const Address& addr) {
488#ifdef CHECK_COHERENCE
489 g_system_ptr->checkGlobalCoherenceInvariant(addr);
490#endif
491}
492