Constant XEN_DOMCTL_CDF_nested_virt

pub const XEN_DOMCTL_CDF_nested_virt: u32 = 64;