C.2. Software support for Context ID

When the operating system switches between binary images, or virtual memory spaces, it must update the value in the Context ID Register provided by CP15. The debugger must have access to a mapping file specifying the Context ID that correlates to each binary image. With this information, the debugger can then associate each binary image with the correct part of the trace.

Copyright © 1999-2002, 2004-2008, 2011 ARM. All rights reserved.ARM IHI 0035B