Zephyr API Documentation 4.0.0
A Scalable Open Source RTOS
|
#include <xen.h>
Data Fields | |
uint32_t | version |
uint32_t | pad0 |
uint64_t | tsc_timestamp |
uint64_t | system_time |
uint32_t | tsc_to_system_mul |
int8_t | tsc_shift |
int8_t | pad1 [3] |
uint32_t vcpu_time_info::pad0 |
int8_t vcpu_time_info::pad1[3] |
uint64_t vcpu_time_info::system_time |
int8_t vcpu_time_info::tsc_shift |
uint64_t vcpu_time_info::tsc_timestamp |
uint32_t vcpu_time_info::tsc_to_system_mul |
uint32_t vcpu_time_info::version |