libsel4allocman: cleanup

Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h · Apr 15, 2024 · 070911a · 070911a
1 parent 96cb46f
commit 070911a
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/libsel4allocman/src/bootstrap.c b/libsel4allocman/src/bootstrap.c
@@ -1011,10 +1011,7 @@ static int handle_device_untyped_cap(add_untypeds_state_t *state, uintptr_t padd
     bool cap_tainted = false;
     int error;
     uintptr_t ut_end = paddr + BIT(size_bits);
-    int num_regions = 0;
-    if (state != NULL) {
-        num_regions = state->num_regions;
-    }
+    int num_regions = state ? state->num_regions : 0;
     for (int i = 0; i < num_regions; i++) {
         pmem_region_t *region = &state->regions[i];
         uint64_t region_end = region->base_addr + region->length;