Yeah, so if the 'cache index' naming has already been settled, then I suspect
we'll have to live with it - but at least let's name it 'cache-index' when we
refer to it, not just 'index' which is super confusing (to me!).
I.e. instead:
The id identifies a cache in the platform. In same index, the id
is unique across the platform.
Something like this is more readable I think:
The cache-id identifies a hardware cache of the system within a given
cache-index category of caches. The (cache-index,cache-id) pair is
unique for the whole system.
agreed?
Thanks,
Ingo
