Is `bitmap_length` need to add one when `num_slots % BITS_PER_WORD != 0`?

[CtrlZ233]

seL4_libs/libsel4allocman/src/cspace/single_level.c

Line 24 in 24921e8

cspace->bitmap_length = num_entries;

[kent-mcleod]

Yea you're right, it seems that the lines below that account for num_slots % BITS_PER_WORD != 0 should be moved ahead of this assignment.