diff --git a/platforms/nuttx/src/px4/nxp/s32k3xx/io_pins/pwm_servo.c b/platforms/nuttx/src/px4/nxp/s32k3xx/io_pins/pwm_servo.c
index e330135133..176a0b974c 100644
--- a/platforms/nuttx/src/px4/nxp/s32k3xx/io_pins/pwm_servo.c
+++ b/platforms/nuttx/src/px4/nxp/s32k3xx/io_pins/pwm_servo.c
@@ -59,12 +59,12 @@
 
 #include "s32k3xx_pin.h"
 
-int up_pwm_servo_set(unsigned channel, servo_position_t value)
+int up_pwm_servo_set(unsigned channel, uint16_t value)
 {
 	return io_timer_set_ccr(channel, value);
 }
 
-servo_position_t up_pwm_servo_get(unsigned channel)
+uint16_t up_pwm_servo_get(unsigned channel)
 {
 	return io_channel_get_ccr(channel);
 }