#ifndef HV_TIMER_H
#define HV_TIMER_H

#include "hv/types.h"

struct vcpu;

void timer_init(void);
uint64_t timer_now(void);
void timer_dump(void);
void timer_vcpu_sync(struct vcpu *vcpu);

#endif