Searched refs:eventid (Results 1 – 1 of 1) sorted by relevance
3470 static inline void dasd_do_hotplug_event (dasd_device_t* device, int eventid) { in dasd_do_hotplug_event() argument3492 switch (eventid) { in dasd_do_hotplug_event()