Searching in trusty/libtrusty/include/trusty