portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: use correct variable name

Browse source 
Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
This commit is contained in:
Curtis Millar 2020-10-02 15:10:30 +10:00
parent 4ee1f90a7d
commit 63432c91d5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/arch/arm/arch/machine/capdl.h
View file

@ -11,7 +11,7 @@
#ifdef CONFIG_ARM_SMMU
static inline void arm_obj_iospace_print_attrs(cap_t iospace_cap)
{
printf("(armiospace: %lu)\n", (long unsigned int)cap_io_space_cap_get_capModuleID(io_space));
printf("(armiospace: %lu)\n", (long unsigned int)cap_io_space_cap_get_capModuleID(iospace_cap));
}
#endif