Update xen.c