Searched refs:EFI_GET_TIME (Results 1 – 1 of 1) sorted by relevance
286 (EFIAPI *EFI_GET_TIME) ( typedef804 EFI_GET_TIME GetTime;