Changeset View
Changeset View
Standalone View
Standalone View
sys/x86/include/pvclock.h
Show First 20 Lines • Show All 44 Lines • ▼ Show 20 Lines | |||||
struct pvclock_wall_clock { | struct pvclock_wall_clock { | ||||
uint32_t version; | uint32_t version; | ||||
uint32_t sec; | uint32_t sec; | ||||
uint32_t nsec; | uint32_t nsec; | ||||
} __packed; | } __packed; | ||||
void pvclock_resume(void); | void pvclock_resume(void); | ||||
uint64_t pvclock_tsc_freq(struct pvclock_vcpu_time_info *ti); | |||||
uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti); | uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti); | ||||
void pvclock_get_wallclock(struct pvclock_wall_clock *wc, | void pvclock_get_wallclock(struct pvclock_wall_clock *wc, | ||||
struct timespec *ts); | struct timespec *ts); | ||||
#endif | #endif |