tee: optee: use dev_info in print_os_revision
authorPatrick Delaunay <patrick.delaunay@st.com>
Mon, 2 Mar 2020 12:21:53 +0000 (13:21 +0100)
committerTom Rini <trini@konsulko.com>
Fri, 17 Apr 2020 16:32:36 +0000 (12:32 -0400)
commit71126d53df7aea9abb42b99b69c8d8b9cb5aa043
tree9c6ed119e9ff9b0a793d75336a20737c72c5ad68
parent42551f49b35fe1067c778086292a9b8c6fc2be0c
tee: optee: use dev_info in print_os_revision

Display TEE version at information level; this patch replaces
debug() call to dev_info() in print_os_revision() function.

Signed-off-by: Patrick Delaunay <patrick.delaunay@st.com>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
drivers/tee/optee/core.c