[Linaro-mm-sig] [RFC PATCH v7 02/13] mm: Add an allocator for CoCo shared memory