Searched refs:size_elt (Results 1 – 1 of 1) sorted by relevance
84 #define KRML_CHECK_SIZE(size_elt, sz) \ argument87 if (((size_t)(sz)) > ((size_t)(SIZE_MAX / (size_elt)))) { \