iPXE
Data Fields
vcpu_info Struct Reference

#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
 

Detailed Description

Definition at line 680 of file xen.h.

Field Documentation

◆ evtchn_upcall_pending

uint8_t vcpu_info::evtchn_upcall_pending

Definition at line 706 of file xen.h.

◆ pad0

uint8_t vcpu_info::pad0

Definition at line 710 of file xen.h.

◆ evtchn_pending_sel

xen_ulong_t vcpu_info::evtchn_pending_sel

Definition at line 712 of file xen.h.

◆ arch

struct arch_vcpu_info vcpu_info::arch

Definition at line 713 of file xen.h.

◆ time

vcpu_time_info_t vcpu_info::time

Definition at line 714 of file xen.h.


The documentation for this struct was generated from the following file: