Re: [PATCH 2/2] mfplat: Implement shared device manager API.