xen_sys

Constant XEN_EFI_query_variable_info

Source 
pub const XEN_EFI_query_variable_info: u32 = 9;