[Tee-dev] User space API for TEE kernel driver