Searched refs:NORMAL (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/
H A Dgriddle50 NORMAL=$(tput sgr0) || NORMAL=
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
231 "${NORMAL}you need to (1) initialise a repo with \"repo init -u" \
243 "${NORMAL}this project may not yet support \"$PROGNAME\""
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle50 NORMAL=$(tput sgr0) || NORMAL=
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
231 "${NORMAL}you need to (1) initialise a repo with \"repo init -u" \
243 "${NORMAL}this project may not yet support \"$PROGNAME\""
/seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/
H A Dcoverage.py33 c['NORMAL'] = '\033[0m'
190 sys.stdout.write(colour + line + colors.NORMAL)
205 sys.stdout.write(colour + line + colors.NORMAL)
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c37 * - NORMAL Normal Memory, Inner/Outer Write-back non-transient, Write-allocate, Read-allocate
45 NORMAL = 4 enumerator in enum:mair_types
221 attr_index = NORMAL;
275 NORMAL
337 NORMAL,
814 NORMAL,
860 NORMAL
903 NORMAL
2577 NORMAL);

Completed in 58 milliseconds