diff options
| author | Philippe Mathieu-Daudé <philmd@redhat.com> | 2019-12-13 11:50:58 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-12-17 19:33:51 +0100 |
| commit | 9e5213c8be63cdc806d1739d48148cd5f1444526 (patch) | |
| tree | c7da128d2ce489ae171a08a02a5398e566e8211c /block.c | |
| parent | 3c29e188415e81c32a9107ecb2616fc6b967abc5 (diff) | |
hw/i386/pc: Use TYPE_PORT92 instead of hardcoded string
By using the TYPE_* definitions for devices, we can:
- quickly find where devices are used with 'git-grep'
- easily rename a device (one-line change).
Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'block.c')
0 files changed, 0 insertions, 0 deletions