Constant EFI_VARIABLE_NON_VOLATILE 

pub const EFI_VARIABLE_NON_VOLATILE: u32 = 1 /* 1u32 */;