/* Put a pending event onto the available queue, so it can get reused. Attention! You must have the pending_event_spinlock before calling!  */
static void free_pending_event(struct pending_event *ev)
/* Put a pending event onto the available queue, so it can get reused. Attention! You must have the pending_event_spinlock before calling!  */
static void free_pending_event(struct pending_event *ev)
{
	if (ev != NULL) {
		ev->next = pending_event_avail;
		pending_event_avail = ev;
	}
}