#ifndef HV_MONITOR_H
#define HV_MONITOR_H

#include "hv/vcpu.h"

void monitor_init(void);
void monitor_poll(void);
void monitor_loop(struct vcpu *vcpu, const char *reason);

#endif