3648 /* for XEN */