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

/seL4-camkes-master/
H A Dgriddle456 validate_parameter () { function
565 if validate_parameter "$FLAG" "$VALUE"
569 # validate_parameter() should have issued an error message.
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle456 validate_parameter () { function
565 if validate_parameter "$FLAG" "$VALUE"
569 # validate_parameter() should have issued an error message.

Completed in 42 milliseconds