its_get_event_id
its_send_inv(its_dev, its_get_event_id(d));
its_send_vinv(its_dev, its_get_event_id(d));
u32 event = its_get_event_id(d);
u32 id = its_get_event_id(d);
msg->data = its_get_event_id(d);
u32 event = its_get_event_id(d);
u32 event = its_get_event_id(d);
u32 event = its_get_event_id(d);
u32 event = its_get_event_id(d);
u32 event = its_get_event_id(d);
u32 event = its_get_event_id(d);
its_get_event_id(irq_domain_get_irq_data(domain, virq)),
cpu = its_dev->event_map.col_map[its_get_event_id(d)];