iPXE
time.h
Go to the documentation of this file.