K 10 svn:author V 3 imp K 8 svn:date V 27 2009-07-05T06:56:51.746664Z K 7 svn:log V 187 (1) Use uintptr_t in preference to unsigned. The latter isn't right for 64-bit case, while the former is. (2) include a SB1 specific coherency mapping Submitted by: Neelkanth Nath (2) END