seL4 / seL4_libs

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

avoid build warning if CONFIG_IOMMU is not defined #39

Closed axel-h closed 2 years ago

axel-h commented 2 years ago

The function vspace_map_io() is only used when CONFIG_IOMMU is defined, thus the clang build warning "control reaches end of non-void function [-Wreturn-type]" can be avoided easily when this function only exists when it is needed.