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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2208 # ac_fn_c_find_intX_t LINENO BITS VAR
2212 ac_fn_c_find_intX_t () function
2282 } # ac_fn_c_find_intX_t
20375 ac_fn_c_find_intX_t "$LINENO" "16" "ac_cv_c_int16_t"
20398 ac_fn_c_find_intX_t "$LINENO" "32" "ac_cv_c_int32_t"
20423 ac_fn_c_find_intX_t "$LINENO" "64" "ac_cv_c_int64_t"

Completed in 88 milliseconds