tree 72cbe00dd15922326edabb330c5bb93e079aad15
parent 90040e8b5877646ce111107f63b315a24768ae48
author Brendan Jackman <brendan.jackman@arm.com> 1494411501 +0100
committer Brendan Jackman <brendan.jackman@arm.com> 1505311301 +0100

instrument: Clear up Instrument.reset semantics

- Fix missing parameter in the documentation

- Clarify meaning of `sites` and `kinds` in the documentation.

- With the current implementation the `channels` argument is
  useless: if `sites` and `kinds` are not also specified then all
  channels are enabled anyway. Fix that by making those parameters
  ignored when `channels` is provided.