Zephyr API Documentation 4.0.99
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 |