vgic_unregister_redist_iodev
vgic_unregister_redist_iodev(vcpu);
void vgic_unregister_redist_iodev(struct kvm_vcpu *vcpu);