| 
    Zephyr Project API
    3.2.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 |