eib_svc_enqueue_event
eib_svc_enqueue_event(ss, evi);
eib_svc_enqueue_event(ss, evi);
eib_svc_enqueue_event(ss, evi);
eib_svc_enqueue_event(ss, evi);
extern void eib_svc_enqueue_event(eib_t *, eib_event_t *);