start_info_t
start_info_t *xen_info;
extern start_info_t *xen_info;
static start_info_t __xen_info;
start_info_t *xen_info = NULL;
sz = sizeof (start_info_t);
xen_info->console.dom0.info_off >= sizeof (start_info_t)) {
sz += xen_info->console.dom0.info_off - sizeof (start_info_t) +
xen_info = (start_info_t *)addr;
start_info_t *xen_info;
extern start_info_t *xen_info;