Searched refs:BOLD (Results 1 - 6 of 6) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | server.c | 44 ANSI_COLOR(RED, BOLD),
45 ANSI_COLOR(GREEN, BOLD),
46 ANSI_COLOR(YELLOW, BOLD),
47 ANSI_COLOR(BLUE, BOLD),
48 ANSI_COLOR(MAGENTA, BOLD),
49 ANSI_COLOR(CYAN, BOLD),
|
| /seL4-test-master/ |
| H A D | griddle | 49 BOLD=$(tput bold) || BOLD=
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
|
| /seL4-test-master/tools/seL4/cmake-tool/ |
| H A D | griddle | 49 BOLD=$(tput bold) || BOLD=
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | syscalls.c | 112 ANSI_COLOR(RED, BOLD), vm->vm_name, syscall, (void *) ip, ANSI_COLOR(RESET));
|
| H A D | vm.c | 81 ANSI_COLOR(RED, BOLD), vcpu->vm->vm_name, seL4_GetMR(0), ANSI_COLOR(RESET));
|
| H A D | fault.c | 455 printf(ANSI_COLOR(RED, BOLD));
|
Completed in 67 milliseconds