Rev 1829 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1829 | Rev 1830 | ||
---|---|---|---|
Line 74... | Line 74... | ||
74 | uint32_t nmi_reason; |
74 | uint32_t nmi_reason; |
75 | } arch_shared_info_t; |
75 | } arch_shared_info_t; |
76 | 76 | ||
77 | typedef struct { |
77 | typedef struct { |
78 | uint8_t evtchn_upcall_pending; |
78 | uint8_t evtchn_upcall_pending; |
79 | uint8_t evtchn_upcall_mask; |
79 | ipl_t evtchn_upcall_mask; |
80 | evtchn_t evtchn_pending_sel; |
80 | evtchn_t evtchn_pending_sel; |
81 | arch_vcpu_info_t arch; |
81 | arch_vcpu_info_t arch; |
82 | vcpu_time_info_t time; |
82 | vcpu_time_info_t time; |
83 | } vcpu_info_t; |
83 | } vcpu_info_t; |
84 | 84 |