armv8: fix signed / unsigned comparison warning
authorReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 19 Aug 2019 18:42:42 +0000 (20:42 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 20 Aug 2019 17:43:08 +0000 (19:43 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

include/arch/aarch64/barrelfish/capabilities_arch.h

index 069ac0f..6472d04 100644 (file)
@@ -40,11 +40,11 @@ static inline errval_t vnode_inherit_attr(struct capref dest, struct capref src,
     capaddr_t saddr = get_cap_addr(src);
 
     capaddr_t mcn[2*MCN_COUNT];
-    for (int i = 0; i < MCN_COUNT; i++) {
+    for (size_t i = 0; i < MCN_COUNT; i++) {
         mcn[i] = get_cap_addr(src_mapping_cn[i]);
         assert(get_cap_level(src_mapping_cn[i]) == CNODE_TYPE_OTHER);
     }
-    for (int i = 0; i < MCN_COUNT; i++) {
+    for (size_t i = 0; i < MCN_COUNT; i++) {
         mcn[MCN_COUNT+i] = get_cap_addr(dst_mapping_cn[i]);
         assert(get_cap_level(dst_mapping_cn[i]) == CNODE_TYPE_OTHER);
     }
@@ -52,4 +52,6 @@ static inline errval_t vnode_inherit_attr(struct capref dest, struct capref src,
     return invoke_vnode_inherit(dest, saddr, slevel, start, end, newflags, mcn);
 }
 
+__END_DECLS
+
 #endif //INCLUDEBARRELFISH_CAPABILITIES_ARCH_H