Searched refs:_svprintf (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/librefos/src/refos-rpc/
H A Dserv_client_helper.c35 _svprintf("Connecting to server [%s]...\n", serverPath);
41 _svprintf(" Querying nameserv to find anon cap for [%s]....\n", serverPath);
44 _svprintf(" WARNING: Server not found.\n");
49 _svprintf(" Result path prefix [%s] anon 0x%x dspace [%s]....\n",
54 _svprintf(" Known connectionless server detected.\n");
61 _svprintf(" Make connection request to server [%s] using the anon cap 0x%x...\n",
67 _svprintf(" WARNING: Failed to anonymously connect to server.\n");
74 _svprintf(" WARNING: Failed to ping file server.\n");
84 _svprintf(" WARNING: Failed to create param buffer dspace.\n");
95 _svprintf(" Faile
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/
H A Dserv_client_helper.c35 _svprintf("Connecting to server [%s]...\n", serverPath);
41 _svprintf(" Querying nameserv to find anon cap for [%s]....\n", serverPath);
44 _svprintf(" WARNING: Server not found.\n");
49 _svprintf(" Result path prefix [%s] anon 0x%x dspace [%s]....\n",
54 _svprintf(" Known connectionless server detected.\n");
61 _svprintf(" Make connection request to server [%s] using the anon cap 0x%x...\n",
67 _svprintf(" WARNING: Failed to anonymously connect to server.\n");
74 _svprintf(" WARNING: Failed to ping file server.\n");
84 _svprintf(" WARNING: Failed to create param buffer dspace.\n");
95 _svprintf(" Faile
[all...]
/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Dserv_client_helper.h34 #define _svprintf dvprintf macro
36 #define _svprintf(...) macro
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dserv_client_helper.h34 #define _svprintf dvprintf macro
36 #define _svprintf(...) macro

Completed in 101 milliseconds