Searched refs:topten_print_bold (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dtopten.c63 STATIC_DCL void FDECL(topten_print_bold, (const char *));
98 topten_print_bold(x) function
667 topten_print_bold(linebuf);
691 topten_print_bold(linebuf);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dtopten.c63 STATIC_DCL void FDECL(topten_print_bold, (const char *));
98 topten_print_bold(x) function
667 topten_print_bold(linebuf);
691 topten_print_bold(linebuf);

Completed in 79 milliseconds