Depending on include order, u_register_t may be unknown in the file platform_tsp.h. Include stdint.h to correct that. Change-Id: I7aeb1d389048189e8ba1b5a48173d139dc29c0da Signed-off-by: Yann Gautier <yann.gautier@st.com>
Depending on include order, u_register_t may be unknown in the file platform_tsp.h. Include stdint.h to correct that. Change-Id: I7aeb1d389048189e8ba1b5a48173d139dc29c0da Signed-off-by: Yann Gautier <yann.gautier@st.com>