HomeSort by: relevance | last modified time | path
    Searched refs:event_channel_port (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/xen/include/
xenio.h 157 uint32_t event_channel_port; member in struct:ioctl_gntdev_grant_notify
  /src/sys/arch/xen/xen/
privcmd.c 918 hypervisor_notify_via_evtchn(notify->event_channel_port);

Completed in 12 milliseconds