seL4 / util_libs

Other
53 stars 83 forks source link

libplatsupport: use proper type #153

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Avoid a clang warning.

sel4_util_libs/libplatsupport/src/arch/arm/delay.c:60:29: warning: value size does not match register size specified by the constraint and modifier [-Wasm-operand-widths]
        "    bpl 1b" : "+r"(cycles));