10 static inline int z_vrfy_gpio_pin_configure(const struct device *port,  in z_vrfy_gpio_pin_configure()
15 	return z_impl_gpio_pin_configure((const struct device *)port,  in z_vrfy_gpio_pin_configure()
21 static inline int z_vrfy_gpio_port_get_raw(const struct device *port,  in z_vrfy_gpio_port_get_raw()
26 	return z_impl_gpio_port_get_raw((const struct device *)port,  in z_vrfy_gpio_port_get_raw()
31 static inline int z_vrfy_gpio_port_set_masked_raw(const struct device *port,  in z_vrfy_gpio_port_set_masked_raw()
36 	return z_impl_gpio_port_set_masked_raw((const struct device *)port,  in z_vrfy_gpio_port_set_masked_raw()
42 static inline int z_vrfy_gpio_port_set_bits_raw(const struct device *port,  in z_vrfy_gpio_port_set_bits_raw()
46 	return z_impl_gpio_port_set_bits_raw((const struct device *)port,  in z_vrfy_gpio_port_set_bits_raw()
51 static inline int z_vrfy_gpio_port_clear_bits_raw(const struct device *port,  in z_vrfy_gpio_port_clear_bits_raw()
55 	return z_impl_gpio_port_clear_bits_raw((const struct device *)port,  in z_vrfy_gpio_port_clear_bits_raw()
60 static inline int z_vrfy_gpio_port_toggle_bits(const struct device *port,  in z_vrfy_gpio_port_toggle_bits()
64 	return z_impl_gpio_port_toggle_bits((const struct device *)port, pins);  in z_vrfy_gpio_port_toggle_bits()
68 static inline int z_vrfy_gpio_pin_interrupt_configure(const struct device *port,  in z_vrfy_gpio_pin_interrupt_configure()
73 	return z_impl_gpio_pin_interrupt_configure((const struct device *)port,  in z_vrfy_gpio_pin_interrupt_configure()
79 static inline int z_vrfy_gpio_get_pending_int(const struct device *dev)  in z_vrfy_gpio_get_pending_int()
83 	return z_impl_gpio_get_pending_int((const struct device *)dev);  in z_vrfy_gpio_get_pending_int()