5.2.2. Doubly‑mapped space

As the cache works with virtual addresses, it is assumed that every virtual address maps to a different physical address. If the same physical location is accessed by more than one virtual address, the cache cannot maintain consistency. Each virtual address has a separate entry in the cache, and only one entry can be updated on a processor write operation.

To avoid any cache inconsistencies, both doubly-mapped virtual addresses should be marked as uncacheable.

Copyright © 1997, 1998 ARM Limited. All rights reserved.DDI 0087E
Non-Confidential