Skip to content

IOMMU: Style Fix ups (minor)#570

Open
cazb2 wants to merge 1 commit into
seL4:mainfrom
au-ts:callumb/iommu_style
Open

IOMMU: Style Fix ups (minor)#570
cazb2 wants to merge 1 commit into
seL4:mainfrom
au-ts:callumb/iommu_style

Conversation

@cazb2

@cazb2 cazb2 commented Jul 20, 2026

Copy link
Copy Markdown
Contributor

Improve variable naming such that it is consistent between the sdf api and the code.
Remove some boilerplate that can be avoided for now (Hash impl on the PCIDevice).
This implied changing hash map/hash sets that were keyed on this type being replaced, which was a trivial fix, since the name field which we validate as unique in the sdf parsing can be used instead.

Swap order that I placed the IOMMU address space construction in the builder.rs, previously I placed it after handling extra caps, but in future it is likely the cap sharing will including IO related caps. The diff here is really just the change to the comment ("step 5/6"), but GitHub doesn't handle reorderings well.

Improve variable naming such that it is consistent between the sdf api
and the code.

Signed-off-by: Callum <c.berry@student.unsw.edu.au>
@dreamliner787-9
dreamliner787-9 self-requested a review July 20, 2026 23:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant