search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

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

Open CtrlZ233 opened 11 months ago

CtrlZ233 commented 11 months ago

https://github.com/seL4/seL4_libs/blob/24921e85cc0b7ce1028a78dce638c46d8ecfc613/libsel4allocman/src/cspace/single_level.c#L24

kent-mcleod commented 11 months ago

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.