MFC r310696
sfxge(4): cleanup: improve prefast annotations
Submitted by: Andy Moreton <amoreton at solarflare.com> Sponsored by: Solarflare Communications, Inc.