As a last API change before 0.9.1, I think we need to rename
get_cache_covering_obj(). We currently have get_cache_covering_cpuset()
which does what it says. However we also have get_cache_covering_obj()
which does not return a cache above obj but returns a cache above obj
*and* shared with somebody else (the cpuset of the returned cache is
strictly different than obj). If anybody has a good name, please let me
know. Maybe get_shared_cache_covering_obj() or
get_cache_covering_obj_and_shared() ? I'll fix this later today.