xen: machine operations