diff options
| author | Matias Elo <matias.elo@nokia.com> | 2018-11-13 15:08:02 +0200 |
|---|---|---|
| committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2018-11-23 11:42:26 +0300 |
| commit | fa2fb9f553142adaa7526069ce3070814f915c32 (patch) | |
| tree | f9c8dd9c38e2a5b29610a9a69e6f73bbe1ab6680 /config/odp-linux-generic.conf | |
| parent | 64991d2a01c36513e8c1a9518da9a56cb9f32594 (diff) | |
linux-gen: timer: add config option for inline timer poll frequency
Add configure option 'timer.inline_poll_interval' for adjusting inline
timer polling frequency.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Bill Fischofer <bill.fischofer@linaro.org>
Signed-off-by: Maxim Uvarov <maxim.uvarov@linaro.org>
Diffstat (limited to 'config/odp-linux-generic.conf')
| -rw-r--r-- | config/odp-linux-generic.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/odp-linux-generic.conf b/config/odp-linux-generic.conf index 2ac6c44d4..8f39ff7cf 100644 --- a/config/odp-linux-generic.conf +++ b/config/odp-linux-generic.conf @@ -136,4 +136,11 @@ timer: { # # Set to 1 to enable inline = 0 + + # Inline timer poll interval + # + # When set to 1 inline timers are polled during every schedule round. + # Increasing the value reduces timer processing overhead while + # decreasing accuracy. Ignored when inline timer is not enabled. + inline_poll_interval = 10 } |