diff options
author | Daniel Vetter <[email protected]> | 2020-04-15 09:39:41 +0200 |
---|---|---|
committer | Daniel Vetter <[email protected]> | 2020-04-28 15:08:51 +0200 |
commit | 4cc9b565454bb2cf5d27d58485816570f18f5a5a (patch) | |
tree | 202fd86ea1a44d8fedc58fbe76313c18c6f5c90a /tools/perf/scripts/python/sched-migration.py | |
parent | 8558de401b5fbbfb1df96d6986bba3c79cd47401 (diff) |
drm/vboxvideo: Use devm_gen_pool_create
Aside from deleting all the cleanup code we're now also setting a name
for the pool
Acked-by: Sam Ravnborg <[email protected]>
Reviewed-by: Hans de Goede <[email protected]>
Signed-off-by: Daniel Vetter <[email protected]>
Cc: Hans de Goede <[email protected]>
Link: https://patchwork.freedesktop.org/patch/msgid/[email protected]
Diffstat (limited to 'tools/perf/scripts/python/sched-migration.py')
0 files changed, 0 insertions, 0 deletions