Lines Matching defs:banner
1045 static void banner ( const char* str )1056 banner("exited");1100 banner("started");