Searched refs:default_big_buf (Results 1 – 3 of 3) sorted by relevance
5669 Eterm default_big_buf[128/sizeof(Eterm)]; in get_tag_and_value() local5670 Eterm* big_buf = default_big_buf; in get_tag_and_value()5813 if (words_needed*sizeof(Eterm) > sizeof(default_big_buf)) { in get_tag_and_value()5833 if (big_buf != default_big_buf) { in get_tag_and_value()5842 if (big_buf != default_big_buf) { in get_tag_and_value()
5608 Eterm default_big_buf[128/sizeof(Eterm)]; in get_tag_and_value() local5609 Eterm* big_buf = default_big_buf; in get_tag_and_value()5752 if (words_needed*sizeof(Eterm) > sizeof(default_big_buf)) { in get_tag_and_value()5772 if (big_buf != default_big_buf) { in get_tag_and_value()5781 if (big_buf != default_big_buf) { in get_tag_and_value()
5790 Eterm default_big_buf[128/sizeof(Eterm)]; in get_tag_and_value() local5791 Eterm* big_buf = default_big_buf; in get_tag_and_value()5934 if (words_needed*sizeof(Eterm) > sizeof(default_big_buf)) { in get_tag_and_value()5954 if (big_buf != default_big_buf) { in get_tag_and_value()5963 if (big_buf != default_big_buf) { in get_tag_and_value()