blk virt: Replace resp queue full check with assert

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

23 stars 18 forks source link

blk virt: Replace resp queue full check with assert #248

Closed erichchan999 closed 2 months ago

erichchan999 commented 2 months ago

When number of in-flight requests (indicated by ialloc size) is less than or equal to the response queue size, we know for certain it can never be full which renders the check redundant.