OvmfPkg/XenBusDxe/EventChannel.h

   1 /** @file
   2   Event Channel function declaration.
   3
   4   Copyright (C) 2014, Citrix Ltd.
   5
   6   This program and the accompanying materials
   7   are licensed and made available under the terms and conditions of the BSD License
   8   which accompanies this distribution.  The full text of the license may be found at
   9   http://opensource.org/licenses/bsd-license.php
  10
  11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13
  14 **/
  15 #ifndef __XENBUS_EVENT_CHANNEL_H
  16 #define __XENBUS_EVENT_CHANNEL_H
  17
  18 #include "XenBusDxe.h"
  19
  20 #include <IndustryStandard/Xen/event_channel.h>
  21
  22 /**
  23   Send an event to the remote end of the channel whose local endpoint is Port.
  24
  25   @param Dev    A pointer to XENBUS_DEVICE.
  26   @param Port   The port to notify.
  27
  28   @return       Return 0 on success, or return the errno code from the hypercall.
  29 **/
  30 UINT32
  31 XenEventChannelNotify (
  32   IN XENBUS_DEVICE *Dev,
  33   IN evtchn_port_t Port
  34   );
  35
  36 #endif