| 
    Zephyr Project API
    3.2.0
    
   A Scalable Open Source RTOS 
   | 
 
#include <xen.h>
Data Fields | |
| uint8_t | evtchn_upcall_pending | 
| uint8_t | pad0 | 
| xen_ulong_t | evtchn_pending_sel | 
| struct arch_vcpu_info | arch | 
| vcpu_time_info_t | time | 
| struct arch_vcpu_info vcpu_info::arch | 
| xen_ulong_t vcpu_info::evtchn_pending_sel | 
| uint8_t vcpu_info::evtchn_upcall_pending | 
| uint8_t vcpu_info::pad0 | 
| vcpu_time_info_t vcpu_info::time |