Searched refs:TRUSTY_DEVICE_NAME (Results 1 – 1 of 1) sorted by relevance
28 #define TRUSTY_DEVICE_NAME "/dev/trusty-ipc-dev0" macro33 int rc = tipc_connect(TRUSTY_DEVICE_NAME, GATEKEEPER_PORT); in trusty_gatekeeper_connect()