static void xc_cnputc(struct consdev *dev, int c) { if (xen_initial_domain()) xc_cnputc_dom0(dev, c); else xc_cnputc_domu(dev, c); }
static void xc_cnputc(struct consdev *dev, int c) { if (xen_start_info->flags & SIF_INITDOMAIN) xc_cnputc_dom0(dev, c); else xc_cnputc_domu(dev, c); }