Searched refs:smore (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/simplesingleaddressspace/components/Client/src/
H A Dclient.c13 const char *smore = "a longer string that will overflow the message registers on ARM"; local
43 s = a_echo_string(smore);
44 printf("echo_string: \"%s\" -> \"%s\"\n", smore, s);
/seL4-camkes-master/projects/camkes/apps/simple/components/Client/src/
H A Dclient.c13 const char *smore = "a longer string that will overflow the message registers on ARM"; local
39 s = a_echo_string(smore);
40 printf("echo_string: \"%s\" -> \"%s\"\n", smore, s);
/seL4-camkes-master/projects/camkes/apps/testunderscorename/components/Client/src/
H A Dclient.c13 const char *smore = "a longer string that will overflow the message registers on ARM"; local
39 s = _fault_handler_echo_string(smore);
40 printf("echo_string: \"%s\" -> \"%s\"\n", smore, s);
/seL4-camkes-master/projects/camkes/apps/testcontrolname/components/Client/src/
H A Dclient.c13 const char *smore = "a longer string that will overflow the message registers on ARM"; local
39 s = _control_echo_string(smore);
40 printf("echo_string: \"%s\" -> \"%s\"\n", smore, s);
/seL4-camkes-master/projects/camkes/apps/debug-simple/
H A Dclient.c16 const char *smore = "a longer string that will overflow the message registers on ARM"; local
44 s = a_echo_string(smore);
45 printf("echo_string: \"%s\" -> \"%s\"\n", smore, s);

Completed in 99 milliseconds