Select the types of activity you want to include in your feed.
1#ifndef HV_TIMER_H 2#define HV_TIMER_H 3 4#include "hv/types.h" 5 6struct vcpu; 7 8void timer_init(void); 9uint64_t timer_now(void); 10void timer_dump(void); 11void timer_vcpu_sync(struct vcpu *vcpu); 12 13#endif