Symbol: ioeventfd_free
drivers/xen/privcmd.c
1437
ioeventfd_free(kioeventfd);
drivers/xen/privcmd.c
1493
ioeventfd_free(kioeventfd);