xen_suspendclocks_xc
static void xen_suspendclocks_xc(void *, void*);
xc_wait(xc_broadcast(0, &xen_suspendclocks_xc, NULL, NULL));