Searched refs:print_welcome_message (Results 1 - 4 of 4) sorted by path

/seL4-refos-master/apps/snake/src/
H A Dsnake.c188 print_welcome_message(void) function
218 print_welcome_message();
/seL4-refos-master/apps/tetris/src/
H A Dtetris.c323 print_welcome_message(void) function
366 print_welcome_message();
/seL4-refos-master/projects/refos/impl/apps/snake/src/
H A Dsnake.c188 print_welcome_message(void) function
218 print_welcome_message();
/seL4-refos-master/projects/refos/impl/apps/tetris/src/
H A Dtetris.c323 print_welcome_message(void) function
366 print_welcome_message();

Completed in 40 milliseconds