10 static inline int z_vrfy_led_blink(const struct device *dev, uint32_t led,  in z_vrfy_led_blink()  argument
14 	return z_impl_led_blink((const struct device *)dev, led, delay_on,  in z_vrfy_led_blink()
19 static inline int z_vrfy_led_get_info(const struct device *dev, uint32_t led,  in z_vrfy_led_get_info()  argument
24 	return z_impl_led_get_info(dev, led, info);  in z_vrfy_led_get_info()
29 					    uint32_t led,  in z_vrfy_led_set_brightness()  argument
33 	return z_impl_led_set_brightness((const struct device *)dev, led,  in z_vrfy_led_set_brightness()
56 static inline int z_vrfy_led_set_color(const struct device *dev, uint32_t led,  in z_vrfy_led_set_color()  argument
61 	return z_impl_led_set_color(dev, led, num_colors, color);  in z_vrfy_led_set_color()
65 static inline int z_vrfy_led_on(const struct device *dev, uint32_t led)  in z_vrfy_led_on()  argument
68 	return z_impl_led_on((const struct device *)dev, led);  in z_vrfy_led_on()
72 static inline int z_vrfy_led_off(const struct device *dev, uint32_t led)  in z_vrfy_led_off()  argument
75 	return z_impl_led_off((const struct device *)dev, led);  in z_vrfy_led_off()