Re: [Tee-dev] comment about "unregistered" vs "register" shared memory