Constant XEN_EFI_set_variable

pub const XEN_EFI_set_variable: u32 = 7;