/* Cache management (drm_cache.c) */