diff options
| author | Eric Auger <eric.auger@linaro.org> | 2015-06-08 09:25:26 -0600 |
|---|---|---|
| committer | Alex Williamson <alex.williamson@redhat.com> | 2015-06-08 09:25:26 -0600 |
| commit | 38559979bf0095a586f61bc9e028df36673f21a1 (patch) | |
| tree | c85be8d62f7275fe35b5dcd650b243af99853976 /trace-events | |
| parent | 0ea2730bef0b764ce87f5d6859f9b1eac6069250 (diff) | |
| download | qemu-38559979bf0095a586f61bc9e028df36673f21a1.zip qemu-38559979bf0095a586f61bc9e028df36673f21a1.tar.gz qemu-38559979bf0095a586f61bc9e028df36673f21a1.tar.bz2 | |
hw/vfio/platform: add irq assignment
This patch adds the code requested to assign interrupts to
a guest. The interrupts are mediated through user handled
eventfds only.
Signed-off-by: Eric Auger <eric.auger@linaro.org>
Tested-by: Vikram Sethi <vikrams@codeaurora.org>
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
Diffstat (limited to 'trace-events')
| -rw-r--r-- | trace-events | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/trace-events b/trace-events index e1a34ec..7af9f19 100644 --- a/trace-events +++ b/trace-events @@ -1568,6 +1568,13 @@ vfio_put_base_device(int fd) "close vdev->fd=%d" vfio_platform_populate_regions(int region_index, unsigned long flag, unsigned long size, int fd, unsigned long offset) "- region %d flags = 0x%lx, size = 0x%lx, fd= %d, offset = 0x%lx" vfio_platform_base_device_init(char *name, int groupid) "%s belongs to group #%d" vfio_platform_realize(char *name, char *compat) "vfio device %s, compat = %s" +vfio_platform_eoi(int pin, int fd) "EOI IRQ pin %d (fd=%d)" +vfio_platform_mmap_set_enabled(bool enabled) "fast path = %d" +vfio_platform_intp_mmap_enable(int pin) "IRQ #%d still active, stay in slow path" +vfio_platform_intp_interrupt(int pin, int fd) "Inject IRQ #%d (fd = %d)" +vfio_platform_intp_inject_pending_lockheld(int pin, int fd) "Inject pending IRQ #%d (fd = %d)" +vfio_platform_populate_interrupts(int pin, int count, int flags) "- IRQ index %d: count %d, flags=0x%x" +vfio_intp_interrupt_set_pending(int index) "irq %d is set PENDING" #hw/acpi/memory_hotplug.c mhp_acpi_invalid_slot_selected(uint32_t slot) "0x%"PRIx32 |