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