diff options
author | Gurchetan Singh <[email protected]> | 2019-12-18 16:57:30 -0800 |
---|---|---|
committer | Gerd Hoffmann <[email protected]> | 2019-12-19 07:13:45 +0100 |
commit | 9e07d4617b0156cd93b71fbda2b2a0f15da83e94 (patch) | |
tree | e60f19cc6054abd7967b9f98cbab626278d2dfbc /lib/mpi/mpi-mul.c | |
parent | 9567728ae28c6a8d93068f64642a7d9246ab917d (diff) |
drm/virtio: get rid of drm_encoder_to_virtio_gpu_output
Not used anywhere.
Signed-off-by: Gurchetan Singh <[email protected]>
Link: http://patchwork.freedesktop.org/patch/msgid/[email protected]
Signed-off-by: Gerd Hoffmann <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-mul.c')
0 files changed, 0 insertions, 0 deletions