Changeset 65647 in vbox for trunk/src/VBox/Devices/PC/ipxe

Timestamp:

Feb 7, 2017 11:43:00 AM (8 years ago)

Author:

vboxsync

Message:

gcc 7: Devices/ipxe: nonnull

File:

• trunk/src/VBox/Devices/PC/ipxe/src/include/curses.h (modified) (1 diff)

trunk/src/VBox/Devices/PC/ipxe/src/include/curses.h

@@ -431 +431 @@
 extern int wclrtoeol ( WINDOW * ) __nonnull;
 extern void wcursyncup ( WINDOW * );
-extern int wcolour_set ( WINDOW *, short, void * ) __nonnull;
+extern int wcolour_set ( WINDOW *, short, void * ) /*__nonnull*/;
 #define wcolor_set(w,s,v) wcolour_set((w),(s),(v))
 extern int wdelch ( WINDOW * ) __nonnull;