vgic_v3_lpi_sync_pending_status
ret = vgic_v3_lpi_sync_pending_status(kvm, irq);
int vgic_v3_lpi_sync_pending_status(struct kvm *kvm, struct vgic_irq *irq);