mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 10:40:03 +01:00
Rename DOMFLAGS_* to XEN_DOMINF_*. Clean up tools to deal with flags changes. Signed-off-by: Keir Fraser <keir@xensource.com>
Rename DOMFLAGS_* to XEN_DOMINF_*. Clean up tools to deal with flags changes. Signed-off-by: Keir Fraser <keir@xensource.com>