A.1.8. Memory marking check

Rating: 1.

The architecture specifies that behavior can be unpredictable when the same physical memory location has any of the following contradictory combinations of memory marking:

Such memory marking contradictions can occur, for example:

When parameter vmsa.memory_marking_check is set true, the model emits a warning when the TLB of a processor, or of any two processors inside the inner shared domain, are loaded with multiple entries for one physical address that fail to obey the restrictions listed.

You can use this feature most effectively with the aggressively pre-fetching TLB. See Aggressively pre-fetching TLB.

Copyright © 2008-2013 ARM. All rights reserved.ARM DUI 0423O
Non-ConfidentialID060613