/* @event notified event @context pointer to the notification count  */
static void EFIAPI notify(struct efi_event *event, void *context)
/* @event notified event @context pointer to the notification count  */
static void EFIAPI notify(struct efi_event *event, void *context)
{
	unsigned int *count = context;
	if (count)
		++*count;
}