diff options
author | Thomas Zimmermann <tzimmermann@suse.de> | 2022-02-11 10:46:39 +0100 |
---|---|---|
committer | Thomas Zimmermann <tzimmermann@suse.de> | 2022-02-16 16:41:19 +0100 |
commit | 105a940416fc622406653b6fe54732897642dfbc (patch) | |
tree | 754e2612481665202e8a0364c71352e5b75527c9 /tools/perf/scripts/python/export-to-postgresql.py | |
parent | 21d26b3972532069f9315f73c0f3128a49d2e014 (diff) |
fbdev/defio: Early-out if page is already enlisted
Return early if a page is already in the list of dirty pages for
deferred I/O. This can be detected if the page's list head is not
empty. Keep the list head initialized while the page is not enlisted
to make this work reliably.
v2:
* update comment and fix spelling (Sam)
Signed-off-by: Thomas Zimmermann <tzimmermann@suse.de>
Acked-by: Sam Ravnborg <sam@ravnborg.org>
Link: https://patchwork.freedesktop.org/patch/msgid/20220211094640.21632-2-tzimmermann@suse.de
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions