- Return a pointer to the start of the memory block, or NULL if the allocation
- failed. */
-extern void *pagealign_alloc (size_t size);
+ Return a pointer to the start of the memory block. Upon allocation failure,
+ return NULL and set errno. */
+extern void *pagealign_alloc (size_t size)
+# if __GNUC__ >= 3
+ __attribute__ ((__malloc__))
+# if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 3)
+ __attribute__ ((__alloc_size__ (1)))
+# endif
+# endif
+ ;