diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2019-11-13 10:56:53 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-12-17 19:32:46 +0100 |
| commit | 11bc4a13d1f4b07dafbd1dda4d4bf0fdd7ad65f2 (patch) | |
| tree | b95f12b235e15e62380e5b8d50bfc33c06b4a85e /include/hw/boards.h | |
| parent | 4376c40dedb22530738eeb104a603e94ed03f719 (diff) | |
kvm: convert "-machine kernel_irqchip" to an accelerator property
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include/hw/boards.h')
| -rw-r--r-- | include/hw/boards.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/hw/boards.h b/include/hw/boards.h index 6084e61675..61f8bb8e5a 100644 --- a/include/hw/boards.h +++ b/include/hw/boards.h @@ -63,9 +63,6 @@ extern MachineState *current_machine; void machine_run_board_init(MachineState *machine); bool machine_usb(MachineState *machine); -bool machine_kernel_irqchip_allowed(MachineState *machine); -bool machine_kernel_irqchip_required(MachineState *machine); -bool machine_kernel_irqchip_split(MachineState *machine); int machine_phandle_start(MachineState *machine); bool machine_dump_guest_core(MachineState *machine); bool machine_mem_merge(MachineState *machine); |