Changeset 083ce33 in mainline

Timestamp:

2024-12-25T12:11:25Z (5 months ago)

Author:

Miroslav Cimerman <mc@…>

Children:

5ee5f67

Parents:

08c98d4c

Message:

hr: fge: hr_fpool_create(): assert max_wus > 0

File:

• uspace/srv/bd/hr/fge.c (modified) (1 diff)

uspace/srv/bd/hr/fge.c

@@ -116 +116 @@
     size_t wu_storage_size)
 {
+        assert(max_wus > 0 && wu_storage_size > 0);
+
         void *bitmap_data = NULL;