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

/seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/
H A Dmult_by_add.c15 unsigned mult_by_add(unsigned a, unsigned b) function
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dmult_by_add.c11 unsigned mult_by_add(unsigned a, unsigned b) function

Completed in 22 milliseconds