Edit File: xen-ops.h