diff options
| author | Wen, Jianxian <Jianxian.Wen@verisilicon.com> | 2022-06-15 06:35:14 +0000 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2022-07-01 12:33:51 +0200 |
| commit | 839a482695616c87c7663062f60b7afe48d023a7 (patch) | |
| tree | 6b415f7ea7d08a2cbd491d347d09f041188c3850 /ui/cursor.c | |
| parent | 701caa3d6a8b4b28d7b45b6d8ac6aadc640bbe43 (diff) | |
ui/console: allow display device to be labeled with given id
The update makes it easier to find and specify devices.
They can only be found by device type name without the id field,
for example, devices of the same type have the same label.
The update also adds a head field,
which is useful for devices that support multiple heads,
such as virtio-gpu.
Signed-off-by: Jianxian Wen <jianxian.wen@verisilicon.com>
Signed-off-by: Lu Gao <lu.gao@verisilicon.com>
Message-Id: <4C23C17B8E87E74E906A25A3254A03F4018FC045B0@SHASXM06.verisilicon.com>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Diffstat (limited to 'ui/cursor.c')
0 files changed, 0 insertions, 0 deletions