diff options
Diffstat (limited to 'src/include/gpxe/editbox.h')
| -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 |