diff options
| author | Mark McLoughlin <markmc@redhat.com> | 2008-12-01 13:57:48 +0000 |
|---|---|---|
| committer | Avi Kivity <avi@redhat.com> | 2008-12-31 16:55:07 +0200 |
| commit | 61552367b2ce5e9bea6b6af670ec80aea386f34e (patch) | |
| tree | 51bf4063b00642b2428b734fc6f679112f9f4244 /usr/Makefile | |
| parent | f29b2673d3fc7ae38ec22922e9cdc75ee37386b5 (diff) | |
KVM: add KVM_USERSPACE_IRQ_SOURCE_ID assertions
Make sure kvm_request_irq_source_id() never returns
KVM_USERSPACE_IRQ_SOURCE_ID.
Likewise, check that kvm_free_irq_source_id() never accepts
KVM_USERSPACE_IRQ_SOURCE_ID.
Signed-off-by: Mark McLoughlin <markmc@redhat.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to 'usr/Makefile')
0 files changed, 0 insertions, 0 deletions