Symbol: xen_vbd_free