tree a07a8e9c77fe2f0467eed68c47184bbeab265780
parent d6674667a0df02bba625397aca5cb457d35ccd37
author Axel Heider <axelheider@gmx.de> 1628813600 +0200
committer Gerwin Klein <gerwin@doclsf.de> 1628830657 +1000

avoid build warning if CONFIG_IOMMU is not defined

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.

Signed-off-by: Axel Heider <axelheider@gmx.de>