From d2dd4b9e31dfb8576ba999a264384a843b512cb9 Mon Sep 17 00:00:00 2001 From: Holger Lubitz Date: Mon, 20 Aug 2007 00:34:39 +0200 Subject: [PATCH] __nonnull changes --- src/include/gpxe/editbox.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/include/gpxe/editbox.h b/src/include/gpxe/editbox.h index 8f2bd2c4..47b07c25 100644 --- a/src/include/gpxe/editbox.h +++ b/src/include/gpxe/editbox.h @@ -28,8 +28,10 @@ struct edit_box { extern void init_editbox ( struct edit_box *box, char *buf, size_t len, WINDOW *win, unsigned int row, unsigned int col, - unsigned int width ); -extern void draw_editbox ( struct edit_box *box ); + unsigned int width ) + __attribute__ (( nonnull (1, 2) )); +extern void draw_editbox ( struct edit_box *box ) __nonnull; +static inline int __pure edit_editbox ( struct edit_box *box, int key ) __nonnull; /** * Edit text box widget