Fixed type parameter to the function defnition
Once the function is always_inline it need not be noreturn not naked.