Searched refs:CACHED (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/
H A Dgriddle173 CACHED="(cached)"
175 CACHED="(not cached)"
296 $CONFIG_VAR is type: $TYPE, default: $DEFAULT_VALUE, $CACHED; $DESCRIPTION"
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle173 CACHED="(cached)"
175 CACHED="(not cached)"
296 $CONFIG_VAR is type: $TYPE, default: $DEFAULT_VALUE, $CACHED; $DESCRIPTION"

Completed in 27 milliseconds