9 static inline int z_vrfy_tgpio_port_get_time(const struct device *port, uint64_t *current_time)  in z_vrfy_tgpio_port_get_time()  argument
11 	K_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, get_time));  in z_vrfy_tgpio_port_get_time()
13 	return z_impl_tgpio_port_get_time((const struct device *)port, (uint64_t *)current_time);  in z_vrfy_tgpio_port_get_time()
17 static inline int z_vrfy_tgpio_port_get_cycles_per_second(const struct device *port,  in z_vrfy_tgpio_port_get_cycles_per_second()  argument
20 	K_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, cyc_per_sec));  in z_vrfy_tgpio_port_get_cycles_per_second()
22 	return z_impl_tgpio_port_get_cycles_per_second((const struct device *)port,  in z_vrfy_tgpio_port_get_cycles_per_second()
27 static inline int z_vrfy_tgpio_pin_periodic_output(const struct device *port, uint32_t pin,  in z_vrfy_tgpio_pin_periodic_output()  argument
31 	K_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, set_perout));  in z_vrfy_tgpio_pin_periodic_output()
32 	return z_impl_tgpio_pin_periodic_output((const struct device *)port, pin, start_time,  in z_vrfy_tgpio_pin_periodic_output()
37 static inline int z_vrfy_tgpio_pin_disable(const struct device *port, uint32_t pin)  in z_vrfy_tgpio_pin_disable()  argument
39 	K_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, pin_disable));  in z_vrfy_tgpio_pin_disable()
40 	return z_impl_tgpio_pin_disable((const struct device *)port, pin);  in z_vrfy_tgpio_pin_disable()
44 static inline int z_vrfy_tgpio_pin_config_ext_timestamp(const struct device *port, uint32_t pin,  in z_vrfy_tgpio_pin_config_ext_timestamp()  argument
47 	K_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, config_ext_ts));  in z_vrfy_tgpio_pin_config_ext_timestamp()
48 	return z_impl_tgpio_pin_config_ext_timestamp((const struct device *)port, pin,  in z_vrfy_tgpio_pin_config_ext_timestamp()
53 static inline int z_vrfy_tgpio_pin_read_ts_ec(const struct device *port, uint32_t pin,  in z_vrfy_tgpio_pin_read_ts_ec()  argument
56 	K_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, read_ts_ec));  in z_vrfy_tgpio_pin_read_ts_ec()
57 	return z_impl_tgpio_pin_read_ts_ec((const struct device *)port, pin, (uint64_t *)timestamp,  in z_vrfy_tgpio_pin_read_ts_ec()