var searchData=
[
  ['get_5ffiletime_5fuint64_0',['get_filetime_uint64',['../internal_8h.html#a36c1cca0e4cea9c2e0dffb582b836f6f',1,'get_filetime_uint64(): time.c'],['../time_8c.html#a36c1cca0e4cea9c2e0dffb582b836f6f',1,'get_filetime_uint64(): time.c']]]
];