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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure396 # as_fn_arith ARG...
402 eval 'as_fn_arith ()
407 as_fn_arith () function
411 fi # as_fn_arith
2439 as_fn_arith $ac_mid + 1 && ac_lo=$as_val
2444 as_fn_arith 2 '*' $ac_mid + 1 && ac_mid=$as_val
2483 as_fn_arith '(' $ac_mid ')' - 1 && ac_hi=$as_val
2488 as_fn_arith 2 '*' $ac_mid && ac_mid=$as_val
2500 as_fn_arith '(' $ac_hi - $ac_lo ')' / 2 + $ac_lo && ac_mid=$as_val
2518 as_fn_arith '('
22849 as_fn_arith () function
[all...]

Completed in 65 milliseconds