Searched refs:skipSizeInt (Results 1 – 1 of 1) sorted by relevance
1194 static void skipSizeInt(CopyInfo b);1612 skipSizeInt(&info); /* global stack size */ in is_external()1614 skipSizeInt(&info); /* # variables */ in is_external()1644 skipSizeInt(CopyInfo b) in skipSizeInt() function1665 { skipSizeInt(b); in scanAtomsRecord()1673 { skipSizeInt(b); in scanAtomsRecord()1891 skipSizeInt(&b); /* code-size */ in PL_recorded_external()