xen_sys

Constant _XEN_DOMCTL_CDF_nested_virt

Source 
pub const _XEN_DOMCTL_CDF_nested_virt: u32 = 6;