src/boot/efi/ticks.h

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

#include <stdint.h>

uint64_t time_usec(void);