Re: [PATCH v6 4/6] tee: export teedev_open() and teedev_close_context()