Kodi Docs 20.0
Kodi is an open source media player and entertainment hub.
sys Directory Reference

Files

file  platform/win32/sys/Select.h
 
file  platform/win32/sys/socket.h
 
file  time.h