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