17c0e8b0cSWill Deacon #include "kvm/ioport.h" 27c0e8b0cSWill Deacon 3*206c41f4SWill Deacon #include "arm-common/gic.h" 4*206c41f4SWill Deacon 57c0e8b0cSWill Deacon void ioport__setup_arch(struct kvm *kvm) 67c0e8b0cSWill Deacon { 77c0e8b0cSWill Deacon } 8*206c41f4SWill Deacon 9*206c41f4SWill Deacon void ioport__map_irq(u8 *irq) 10*206c41f4SWill Deacon { 11*206c41f4SWill Deacon *irq = gic__alloc_irqnum(); 12*206c41f4SWill Deacon } 13