docs/devel: be consistent about example plugin names

Some plugins were prefixed with `.c`, some were not. Since the name is
essentially the full-name of the plugin file, it's logical to include
the extension.

Signed-off-by: Mahmoud Mandour <ma.mandourr@gmail.com>
Message-Id: <20210830121534.656559-1-ma.mandourr@gmail.com>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
This commit is contained in:
Mahmoud Mandour 2021-08-30 14:15:34 +02:00 committed by Alex Bennée
parent 67f145745f
commit a35af836d1

View file

@ -301,7 +301,7 @@ which will eventually report::
previously @ 0x000000ffd08098/5 (809900593 insns) previously @ 0x000000ffd08098/5 (809900593 insns)
previously @ 0x000000ffd080c0/1 (809900588 insns) previously @ 0x000000ffd080c0/1 (809900588 insns)
- contrib/plugins/hwprofile - contrib/plugins/hwprofile.c
The hwprofile tool can only be used with system emulation and allows The hwprofile tool can only be used with system emulation and allows
the user to see what hardware is accessed how often. It has a number of options: the user to see what hardware is accessed how often. It has a number of options:
@ -360,7 +360,7 @@ which will output an execution trace following this structure::
0, 0xd34, 0xf9c8f000, "bl #0x10c8" 0, 0xd34, 0xf9c8f000, "bl #0x10c8"
0, 0x10c8, 0xfff96c43, "ldr r3, [r0, #0x44]", load, 0x200000e4, RAM 0, 0x10c8, 0xfff96c43, "ldr r3, [r0, #0x44]", load, 0x200000e4, RAM
- contrib/plugins/cache - contrib/plugins/cache.c
Cache modelling plugin that measures the performance of a given cache Cache modelling plugin that measures the performance of a given cache
configuration when a given working set is run:: configuration when a given working set is run::