49,6 → 49,9 |
|
#define mp_map ((pfn_t *) XEN_VIRT_START) |
|
#define SIF_PRIVILEGED (1 << 0) /**< Privileged domain */ |
#define SIF_INITDOMAIN (1 << 1) /**< Iinitial control domain */ |
|
#include <arch/types.h> |
|
typedef uint32_t evtchn_t; |
101,7 → 104,7 |
uint32_t flags; /**< SIF_xxx flags */ |
pfn_t store_mfn; /**< Shared page (machine page) */ |
evtchn_t store_evtchn; /**< Event channel for store communication */ |
void *console_mfn; /**< Console page (machine address) */ |
pfn_t console_mfn; /**< Console page (machine page) */ |
evtchn_t console_evtchn; /**< Event channel for console messages */ |
pte_t *ptl0; /**< Boot PTL0 (kernel address) */ |
uint32_t pt_frames; /**< Number of bootstrap page table frames */ |