Change ialloc from 64-bit to 32-bit

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

Other

18 stars 14 forks source link

Change ialloc from 64-bit to 32-bit #109

Closed alexandermbrown closed 5 months ago

alexandermbrown commented 5 months ago

Currently both virtIO block and virtIO sound use this allocator. It doesn't need to be 64-bit as we will never need more than UINT32_MAX indices (currently we use at most 4096). Both sDDF ID fields are already 32-bit. I am updating the virtIO devices to reflect this change in https://github.com/au-ts/libvmm/pull/37