[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 00/17] Update SAL annotations in xeniface


  • To: win-pv-devel@xxxxxxxxxxxxxxxxxxxx
  • From: Césaire Mounah <cesaire.mounah@xxxxxxxxxx>
  • Date: Mon, 5 Oct 2026 14:04:26 +0200
  • Authentication-results: eu.smtp.expurgate.cloud; dkim=pass header.s=selector1 header.d=vates.tech header.i="@vates.tech" header.h="From:Subject:Date:Message-ID:To:Cc:MIME-Version:Content-Type:Feedback-ID"
  • Cc: Césaire Mounah <cesaire.mounah@xxxxxxxxxx>
  • Delivery-date: Mon, 05 Oct 2026 12:04:47 +0000
  • Feedback-id: default:8631fc262581453bbf619ec5b2062170:Sweego
  • List-id: Developer list for the Windows PV Drivers subproject <win-pv-devel.lists.xenproject.org>

This update concerns updating and fixing SAL annotations in the xeniface driver.

Césaire Mounah (17):
  xeniface: Sync common files with xenbus
  Convert to SAL 2.0 annotations
  util: fix some annotations
  wmi: fix some anntotations
  ioctl: fix annotations
  fdo: fix annotations
  update string typedefs in all include files
  wmi: fix annotation of AccessWmiBuffer
  fix XENBUS_GNTTAB_QUERY_REFERENCE annotation
  driver: fix annotation errors
  xc: fix annotations
  fdo: suppress warning in FdoQueryInterface
  ioctl: fix annotation of __CaptureUserBuffer
  wmi: fix output buffer annotations
  include: update the annotations of shared interfaces
  xeniface: route AccessWmiBuffer unknown-type exit through common path
  util: fix annotation of __wcstok_r

 include/cache_interface.h       |  76 ++--
 include/evtchn_interface.h      |  72 ++--
 include/gnttab_interface.h      |  88 ++---
 include/shared_info_interface.h |  44 +--
 include/store_interface.h       |  84 ++---
 include/suspend_interface.h     |  24 +-
 include/xencontrol.h            | 165 +++++----
 src/xencontrol/xencontrol.c     | 337 ++++++++---------
 src/xeniface/assert.h           |  82 ++--
 src/xeniface/driver.c           |  32 +-
 src/xeniface/fdo.c              | 348 ++++++++---------
 src/xeniface/fdo.h              |  26 +-
 src/xeniface/ioctl_evtchn.c     | 144 +++----
 src/xeniface/ioctl_gnttab.c     | 132 +++----
 src/xeniface/ioctl_sharedinfo.c |  10 +-
 src/xeniface/ioctl_store.c      | 162 ++++----
 src/xeniface/ioctl_suspend.c    |  66 ++--
 src/xeniface/ioctls.c           |  50 +--
 src/xeniface/ioctls.h           | 272 +++++++-------
 src/xeniface/irp_queue.c        |  46 +--
 src/xeniface/irp_queue.h        |  28 +-
 src/xeniface/log.h              |  16 +-
 src/xeniface/mutex.h            |  10 +-
 src/xeniface/names.h            |  18 +-
 src/xeniface/registry.c         | 452 ++++++++++++----------
 src/xeniface/registry.h         | 207 ++++++-----
 src/xeniface/thread.c           |  38 +-
 src/xeniface/thread.h           |  18 +-
 src/xeniface/util.h             |  90 +++--
 src/xeniface/wmi.c              | 638 ++++++++++++++++----------------
 src/xeniface/wmi.h              |  18 +-
 31 files changed, 1954 insertions(+), 1839 deletions(-)

-- 
2.55.0.windows.5



--
Césaire Mounah | Vates Windows Guest Tools Engineer

XCP-ng & Xen Orchestra - Vates solutions

web: https://vates.tech

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.