Yes it should be defined as an inline function.
I'll correct it.
And some of the functions are only used in kernel/fpu.c, should I make them static in fpu.c and remove their definitions from fpu.h?