Searched refs:makeEntry (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | exporter.h | 77 unsigned long makeEntry(const char *str);
|
| H A D | machoexport.cpp | 97 externTable.makeEntry(name);
441 symbol.n_un.n_strx = stringTable.makeEntry("_poly_exports");
463 symbol.n_un.n_strx = stringTable.makeEntry(fullSymbol);
|
| H A D | pecoffexport.cpp | 89 externTable.makeEntry(name);
142 symbol.N.Name.Long = stringTable.makeEntry(fullSymbol) + sizeof(unsigned);
|
| H A D | elfexport.cpp | 297 externTable.makeEntry(name);
425 return stab->makeEntry(str);
497 symStrings.makeEntry("");
498 sectionStrings.makeEntry("");
|
| H A D | exporter.cpp | 897 unsigned long ExportStringTable::makeEntry(const char *str) function in class:ExportStringTable
|
| /seL4-l4v-master/HOL4/tools/mllex/ |
| H A D | mllex.sml | 1012 fun makeEntry(nil,rs,t) = rev rs function
1013 | makeEntry(((l:int,x)::y),rs,t) =
1016 in makeEntry(y,(n::rs),t)
1021 makeEntry(y,(name::rs),(insert ((x,name),t))))
1025 val res = makeEntry(trans,nil,empty)
|
Completed in 50 milliseconds