Specify both inline and __attribute__((always_inline)), in order to avoid warnings when using newer versions of gcc.