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-16 21:58:06 +0300 |
commit | 12c4ca508b07b8d2366b0c37bee5f866019e94c2 (patch) | |
tree | 7c5d0a32a43d0ebd81565bbdd7dd870f971a7796 /config | |
parent | 9ddeaaf7a3226ab03e57cc49775fd234b8d44a2b (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')
-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 d123e7735..9969860d5 100644 --- a/config/odp-linux-generic.conf +++ b/config/odp-linux-generic.conf @@ -140,4 +140,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 } |