Fix inlining - ARM GCC doesn't like it