sys/dev/misc/tbridge/safe_mem.c

126

tbridge_printf("SAFEMEM BUG: double-free at %s:%d !!!\n", file,

sys/dev/misc/tbridge/safe_mem.c

134

tbridge_printf("SAFEMEM BUG: safe_mem buffer under- or overflow "

sys/dev/misc/tbridge/safe_mem.c

140

tbridge_printf("SAFEMEM BUG: safe_mem list should not be empty "

sys/sys/tbridge.h

59

int tbridge_printf(const char *fmt, ...) __printflike(1, 2);

test/testcases/sample/testk1/testk1.c

13

tbridge_printf("Starting run!\n");

test/testcases/sample/testk1/testk1.c

15

tbridge_printf("Pretty much done!\n");

test/testcases/sample/testk2/testk1.c

13

tbridge_printf("Starting run!\n");

test/testcases/sample/testk2/testk1.c

15

tbridge_printf("Pretty much done!\n");