1 /* SPDX-License-Identifier: LGPL-2.1-or-later */
2 #pragma once
3 
4 #include <efi.h>
5 #include <efilib.h>
6 
7 UINT64 time_usec(void);
8