<code_coverage>.filter-mappings [filter] [files] [-remove]
By default, removes all mappings that do not match the pattern in filter or source files that do not match files. This command requires that code coverage collection is not running.
If the -remove flag is used then mappings and source files that do match filter and files will be removed instead.
The filtercan be given in the following formats:
- As the start address of the mapping: 0x44000
- As an address range (written as a string): "0x44000-0x44fff". The last address is included in the range. A mapping will match if the start address of the mapping is in the range.
- As a filename wildcard pattern (using *, ? or [seq]) for the symbol file of the mapping: "mymodule-*.so" or "somedir/*dxe*.efi"
- As a list where each element contains any of the previous formats: [0x44000, "0x50000-0x55000", "dxe*.efi"]
The files filters on source files matching this argument and can be given either as a string containing a filename wildcard pattern or as a list of such patterns. Note that source info (see add-source-info) must have been added prior to filtering on source files, otherwise source file information will not have been added.
code-coverage
<code_coverage>.stop,
<code_coverage>.add-source-info