diff options
| author | Julia Lawall <[email protected]> | 2015-11-29 23:02:49 +0100 |
|---|---|---|
| committer | David Vrabel <[email protected]> | 2015-12-21 14:41:01 +0000 |
| commit | b9c0a92a9aa953e5a98f2af2098c747d4358c7bb (patch) | |
| tree | 75d9edcf8054f854f618b9ab8551ff0f7c249837 /scripts/gcc-plugins/sancov_plugin.c | |
| parent | 86fc2136736d2767bf797e6d2b1f80b49f52953c (diff) | |
xen/gntdev: constify mmu_notifier_ops structures
This mmu_notifier_ops structure is never modified, so declare it as
const, like the other mmu_notifier_ops structures.
Done with the help of Coccinelle.
Signed-off-by: Julia Lawall <[email protected]>
Signed-off-by: David Vrabel <[email protected]>
Diffstat (limited to 'scripts/gcc-plugins/sancov_plugin.c')
0 files changed, 0 insertions, 0 deletions