Constant XEN_DOMCTL_CDF_nested_virt 

pub const XEN_DOMCTL_CDF_nested_virt: u32 = 64;