const efi_file_valid_attr: u64 = 55;