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

/seL4-camkes-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-camkes-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-camkes-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 49 milliseconds