Symbol: vgic_its_check_event_id
arch/arm64/kvm/vgic/vgic-its.c
1039
if (!vgic_its_check_event_id(its, device, event_id))
arch/arm64/kvm/vgic/vgic-its.c
2163
if (!vgic_its_check_event_id(its, dev, event_id))