Edit File: xen.h