search

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

Remove redundant `% size` from queue APIs #114

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

Closes https://github.com/au-ts/sddf/issues/111.

Brought up by @isubasinghe.

Ivan-Velickovic commented 4 months ago

I'll do a benchmark run tomorrow morning and then merge (just to double check the change). Thanks for noticing my mistake @Courtney3141.

Courtney3141 commented 4 months ago

Since you will be away for a while, I re-ran a benchmark for you to check that performance is preserved and everything works as usual. I will merge this now.