Searched defs:platform (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
H A D | windows_specific.cpp | 711 Handle platform = Make_fixed_precision(taskData, osver.dwPlatformId); local |
Completed in 36 milliseconds