diff options
author | Philippe Mathieu-Daudé <philmd@redhat.com> | 2020-02-24 14:45:07 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-03-17 15:18:46 +0100 |
commit | 044e2af9f5f55d81be754a0e2ba1d206ad2b3bc6 (patch) | |
tree | cdc81b35e31afc1266f47a714e107b35a19b3da6 /MAINTAINERS | |
parent | 83696c8f78303d916fd8d126bc28b67f25320acb (diff) |
scripts/cocci: Rename memory-region-{init-ram -> housekeeping}
As we are going to add various semantic changes related to the memory
region API, rename this script to be more generic.
Add a 'usage' header, and an entry in MAINTAINERS to avoid checkpatch
warning.
Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Diffstat (limited to 'MAINTAINERS')
-rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index a88bc285c4..770126f338 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -2047,6 +2047,7 @@ F: include/exec/ramblock.h F: memory.c F: include/exec/memory-internal.h F: exec.c +F: scripts/coccinelle/memory-region-housekeeping.cocci SPICE M: Gerd Hoffmann <kraxel@redhat.com> |