blob: a59e0ada6fd32d01b80c4032a25a67c90b048417 [file] [log] [blame]
Sami Tolvanenffa39382015-12-03 16:01:51 -05001/*
2 * Copyright (C) 2012 Red Hat, Inc.
3 * Copyright (C) 2015 Google, Inc.
4 *
5 * Author: Mikulas Patocka <mpatocka@redhat.com>
6 *
7 * Based on Chromium dm-verity driver (C) 2011 The Chromium OS Authors
8 *
9 * This file is released under the GPLv2.
10 */
11
12#ifndef DM_VERITY_H
13#define DM_VERITY_H
14
15#include "dm-bufio.h"
16#include <linux/device-mapper.h>
17#include <crypto/hash.h>
18
19#define DM_VERITY_MAX_LEVELS 63
20
21enum verity_mode {
22 DM_VERITY_MODE_EIO,
23 DM_VERITY_MODE_LOGGING,
24 DM_VERITY_MODE_RESTART
25};
26
27enum verity_block_type {
28 DM_VERITY_BLOCK_TYPE_DATA,
29 DM_VERITY_BLOCK_TYPE_METADATA
30};
31
Sami Tolvanena739ff32015-12-03 14:26:30 +000032struct dm_verity_fec;
33
Sami Tolvanenffa39382015-12-03 16:01:51 -050034struct dm_verity {
35 struct dm_dev *data_dev;
36 struct dm_dev *hash_dev;
37 struct dm_target *ti;
38 struct dm_bufio_client *bufio;
39 char *alg_name;
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +020040 struct crypto_ahash *tfm;
Sami Tolvanenffa39382015-12-03 16:01:51 -050041 u8 *root_digest; /* digest of the root block */
42 u8 *salt; /* salt: its size is salt_size */
Sami Tolvanen0cc37c22015-12-03 14:26:31 +000043 u8 *zero_digest; /* digest for a zero block */
Sami Tolvanenffa39382015-12-03 16:01:51 -050044 unsigned salt_size;
45 sector_t data_start; /* data offset in 512-byte sectors */
46 sector_t hash_start; /* hash start in blocks */
47 sector_t data_blocks; /* the number of data blocks */
48 sector_t hash_blocks; /* the number of hash blocks */
49 unsigned char data_dev_block_bits; /* log2(data blocksize) */
50 unsigned char hash_dev_block_bits; /* log2(hash blocksize) */
51 unsigned char hash_per_block_bits; /* log2(hashes in hash block) */
52 unsigned char levels; /* the number of tree levels */
53 unsigned char version;
54 unsigned digest_size; /* digest size for the current hash algorithm */
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +020055 unsigned int ahash_reqsize;/* the size of temporary space for crypto */
Sami Tolvanenffa39382015-12-03 16:01:51 -050056 int hash_failed; /* set to 1 if hash of any block failed */
57 enum verity_mode mode; /* mode for handling verification errors */
58 unsigned corrupted_errs;/* Number of errors for corrupted blocks */
59
60 struct workqueue_struct *verify_wq;
61
62 /* starting blocks for each tree level. 0 is the lowest level. */
63 sector_t hash_level_block[DM_VERITY_MAX_LEVELS];
Sami Tolvanena739ff32015-12-03 14:26:30 +000064
65 struct dm_verity_fec *fec; /* forward error correction */
Sami Tolvanenffa39382015-12-03 16:01:51 -050066};
67
68struct dm_verity_io {
69 struct dm_verity *v;
70
71 /* original value of bio->bi_end_io */
72 bio_end_io_t *orig_bi_end_io;
73
74 sector_t block;
75 unsigned n_blocks;
76
77 struct bvec_iter iter;
78
79 struct work_struct work;
80
81 /*
82 * Three variably-size fields follow this struct:
83 *
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +020084 * u8 hash_req[v->ahash_reqsize];
Sami Tolvanenffa39382015-12-03 16:01:51 -050085 * u8 real_digest[v->digest_size];
86 * u8 want_digest[v->digest_size];
87 *
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +020088 * To access them use: verity_io_hash_req(), verity_io_real_digest()
Sami Tolvanenffa39382015-12-03 16:01:51 -050089 * and verity_io_want_digest().
90 */
91};
92
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +020093struct verity_result {
94 struct completion completion;
95 int err;
96};
97
98static inline struct ahash_request *verity_io_hash_req(struct dm_verity *v,
Sami Tolvanenffa39382015-12-03 16:01:51 -050099 struct dm_verity_io *io)
100{
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +0200101 return (struct ahash_request *)(io + 1);
Sami Tolvanenffa39382015-12-03 16:01:51 -0500102}
103
104static inline u8 *verity_io_real_digest(struct dm_verity *v,
105 struct dm_verity_io *io)
106{
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +0200107 return (u8 *)(io + 1) + v->ahash_reqsize;
Sami Tolvanenffa39382015-12-03 16:01:51 -0500108}
109
110static inline u8 *verity_io_want_digest(struct dm_verity *v,
111 struct dm_verity_io *io)
112{
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +0200113 return (u8 *)(io + 1) + v->ahash_reqsize + v->digest_size;
Sami Tolvanenffa39382015-12-03 16:01:51 -0500114}
115
Sami Tolvanena739ff32015-12-03 14:26:30 +0000116static inline u8 *verity_io_digest_end(struct dm_verity *v,
117 struct dm_verity_io *io)
118{
119 return verity_io_want_digest(v, io) + v->digest_size;
120}
121
Sami Tolvanenbb4d73a2015-12-03 16:30:36 -0500122extern int verity_for_bv_block(struct dm_verity *v, struct dm_verity_io *io,
123 struct bvec_iter *iter,
124 int (*process)(struct dm_verity *v,
125 struct dm_verity_io *io,
126 u8 *data, size_t len));
127
Gilad Ben-Yossefd1ac3ff2017-02-19 14:46:07 +0200128extern int verity_hash(struct dm_verity *v, struct ahash_request *req,
Sami Tolvanenffa39382015-12-03 16:01:51 -0500129 const u8 *data, size_t len, u8 *digest);
130
131extern int verity_hash_for_block(struct dm_verity *v, struct dm_verity_io *io,
Sami Tolvanen0cc37c22015-12-03 14:26:31 +0000132 sector_t block, u8 *digest, bool *is_zero);
Sami Tolvanenffa39382015-12-03 16:01:51 -0500133
134#endif /* DM_VERITY_H */