Searched refs:BOLD (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Dterminal.py30 BOLD = '\033[1m' variable
H A Dexception.py20 from camkes.internal.terminal import BOLD, RED, RESET, terminal_supports_colour namespace
74 msg.extend([RED, BOLD])
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserial.c84 ANSI_COLOR(RED, BOLD)
85 ANSI_COLOR(GREEN, BOLD),
86 ANSI_COLOR(BLUE, BOLD),
87 ANSI_COLOR(MAGENTA, BOLD),
88 ANSI_COLOR(YELLOW, BOLD),
89 ANSI_COLOR(CYAN, BOLD),
99 ANSI_COLOR2(RED, WHITE, BOLD)
100 ANSI_COLOR2(GREEN, WHITE, BOLD),
101 ANSI_COLOR2(BLUE, WHITE, BOLD),
102 ANSI_COLOR2(MAGENTA, WHITE, BOLD),
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c44 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-camkes-master/
H A Dgriddle49 BOLD=$(tput bold) || BOLD=
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle49 BOLD=$(tput bold) || BOLD=
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dsyscalls.c112 ANSI_COLOR(RED, BOLD), vm->vm_name, syscall, (void *) ip, ANSI_COLOR(RESET));
H A Dvm.c81 ANSI_COLOR(RED, BOLD), vcpu->vm->vm_name, seL4_GetMR(0), ANSI_COLOR(RESET));
H A Dfault.c455 printf(ANSI_COLOR(RED, BOLD));

Completed in 65 milliseconds