XEN_MC_URGENT
gcpu_xpv_proxy_logout(type == XEN_MC_URGENT ?
urgent ? XEN_MC_URGENT : XEN_MC_NONURGENT,
int types[] = { XEN_MC_URGENT, XEN_MC_NONURGENT };
int types[] = { XEN_MC_URGENT, XEN_MC_NONURGENT };