/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description: HPET driver
 * Author:      Chloe M.
 */

#ifndef _MACHINE_HPET_H_
#define _MACHINE_HPET_H_ 1

#include <stdef.h>

/*
 * Initialize the HPET timer
 */
VOID MdHpetInit(VOID);

/*
 * Obtain the elapsed time in microseconds
 */
USIZE MdHpetTimeUsec(VOID);

#endif  /* !_MACHINE_HPET_H_ */