1 files changed, 14 insertions, 11 deletions

diff --git a/libs/libgui/gfx.h b/libs/libgui/gfx.h
index 83736fd..082fe07 100644
--- a/libs/libgui/gfx.h
+++ b/libs/libgui/gfx.h
@@ -66,18 +66,21 @@ struct context {
 	u32 bytes;
 };
 
-struct context *gfx_new_ctx(struct context *ctx, vec2 size, u8 bpp);
+struct context *gfx_new_ctx(struct context *ctx, vec2 size, u8 bpp) NONNULL;
 struct font *gfx_resolve_font(enum font_type font_type);
-void gfx_write_char(struct context *ctx, vec2 pos, enum font_type font_type, u32 c, char ch);
-void gfx_write(struct context *ctx, vec2 pos, enum font_type font_type, u32 c, const char *text);
-void gfx_load_image(struct context *ctx, vec2 pos, const char *path);
-void gfx_load_image_filter(struct context *ctx, vec2 pos, enum gfx_filter filter, const char *path);
-void gfx_load_wallpaper(struct context *ctx, const char *path);
-void gfx_copy(struct context *dest, struct context *src, vec2 pos, vec2 size);
-void gfx_ctx_on_ctx(struct context *dest, struct context *src, vec2 pos);
-void gfx_draw_rectangle(struct context *ctx, vec2 pos1, vec2 pos2, u32 c);
-void gfx_fill(struct context *ctx, u32 c);
-void gfx_border(struct context *ctx, u32 c, u32 width);
+void gfx_write_char(struct context *ctx, vec2 pos, enum font_type font_type, u32 c,
+		    char ch) NONNULL;
+void gfx_write(struct context *ctx, vec2 pos, enum font_type font_type, u32 c,
+	       const char *text) NONNULL;
+void gfx_load_image(struct context *ctx, vec2 pos, const char *path) NONNULL;
+void gfx_load_image_filter(struct context *ctx, vec2 pos, enum gfx_filter filter,
+			   const char *path) NONNULL;
+void gfx_load_wallpaper(struct context *ctx, const char *path) NONNULL;
+void gfx_copy(struct context *dest, struct context *src, vec2 pos, vec2 size) NONNULL;
+void gfx_ctx_on_ctx(struct context *dest, struct context *src, vec2 pos) NONNULL;
+void gfx_draw_rectangle(struct context *ctx, vec2 pos1, vec2 pos2, u32 c) NONNULL;
+void gfx_fill(struct context *ctx, u32 c) NONNULL;
+void gfx_border(struct context *ctx, u32 c, u32 width) NONNULL;
 
 int gfx_font_height(enum font_type);
 int gfx_font_width(enum font_type);