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()
22 static inline int z_vrfy_gpio_pin_get_config(const struct device *port,  in z_vrfy_gpio_pin_get_config()
34 static inline int z_vrfy_gpio_port_get_raw(const struct device *port,  in z_vrfy_gpio_port_get_raw()
39 	return z_impl_gpio_port_get_raw((const struct device *)port,  in z_vrfy_gpio_port_get_raw()
44 static inline int z_vrfy_gpio_port_set_masked_raw(const struct device *port,  in z_vrfy_gpio_port_set_masked_raw()
49 	return z_impl_gpio_port_set_masked_raw((const struct device *)port,  in z_vrfy_gpio_port_set_masked_raw()
55 static inline int z_vrfy_gpio_port_set_bits_raw(const struct device *port,  in z_vrfy_gpio_port_set_bits_raw()
59 	return z_impl_gpio_port_set_bits_raw((const struct device *)port,  in z_vrfy_gpio_port_set_bits_raw()
64 static inline int z_vrfy_gpio_port_clear_bits_raw(const struct device *port,  in z_vrfy_gpio_port_clear_bits_raw()
68 	return z_impl_gpio_port_clear_bits_raw((const struct device *)port,  in z_vrfy_gpio_port_clear_bits_raw()
73 static inline int z_vrfy_gpio_port_toggle_bits(const struct device *port,  in z_vrfy_gpio_port_toggle_bits()
77 	return z_impl_gpio_port_toggle_bits((const struct device *)port, pins);  in z_vrfy_gpio_port_toggle_bits()
81 static inline int z_vrfy_gpio_pin_interrupt_configure(const struct device *port,  in z_vrfy_gpio_pin_interrupt_configure()
86 	return z_impl_gpio_pin_interrupt_configure((const struct device *)port,  in z_vrfy_gpio_pin_interrupt_configure()
92 static inline int z_vrfy_gpio_get_pending_int(const struct device *dev)  in z_vrfy_gpio_get_pending_int()
96 	return z_impl_gpio_get_pending_int((const struct device *)dev);  in z_vrfy_gpio_get_pending_int()
101 static inline int z_vrfy_gpio_port_get_direction(const struct device *dev, gpio_port_pins_t map,  in z_vrfy_gpio_port_get_direction()