trivial: fix missed header related to tk1

Signed-off-by: Oliver Scott <[email protected]>
seL4 · Nov 5, 2020 · fb68284 · fb68284
1 parent a0618cc
commit fb68284
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/camkes/templates/component.simple.c b/camkes/templates/component.simple.c
@@ -352,7 +352,7 @@ static seL4_Error simple_camkes_get_iospace(void *data, uint16_t domainID, uint1
 }
 #endif
 
-#ifdef CONFIG_ARM_SMMU
+#ifdef CONFIG_TK1_SMMU
 static seL4_Error simple_camkes_get_iospace_cap_count(void *data, int *count) {
     if (count) {
         *count = /*? len(iospaces) ?*/;