src/boot/efi/ticks.h

/* SPDX-License-Identifier: LGPL-2.1-or-later */
#pragma once

#include <efi.h>
#include <efilib.h>

UINT64 time_usec(void);