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