objcache depot not used?

["Nicolas Thery" <nthery@xxxxxxxxx>]

Hello,

When an objcache is created, a pair of magazines is created for each
cpu (with mag_alloc()) and tied to each per-cpu cache.  The depot is
initially empty.  I can't find any other call to mag_alloc() and AFAIU
per-cpu caches always have 2 magazines. I therefore suppose that the
depot stays empty and is never used.

is it intentional?

Cheers,
Nicolas