Inlined inline-worthy stuff.

Signed-off-by: Thorben Hasenpusch <thorben.hasenpusch@gmail.com>