diff options
| author | Holger Lubitz | 2007-08-20 00:34:39 +0200 |
|---|---|---|
| committer | Holger Lubitz | 2007-08-20 00:34:39 +0200 |
| commit | d2dd4b9e31dfb8576ba999a264384a843b512cb9 (patch) | |
| tree | 1c20a4c36c29d03e5beec47c30cd02f67947fc78 /src/include/gpxe | |
| parent | __nonnull changes (diff) | |
| download | ipxe-d2dd4b9e31dfb8576ba999a264384a843b512cb9.tar.gz ipxe-d2dd4b9e31dfb8576ba999a264384a843b512cb9.tar.xz ipxe-d2dd4b9e31dfb8576ba999a264384a843b512cb9.zip | |
__nonnull changes
Diffstat (limited to 'src/include/gpxe')
| -rw-r--r-- | src/include/gpxe/editbox.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/include/gpxe/editbox.h b/src/include/gpxe/editbox.h index 8f2bd2c46..47b07c25d 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 |