| /* | 
 |  * Copyright (c) 2023 Google LLC | 
 |  * | 
 |  * SPDX-License-Identifier: Apache-2.0 | 
 |  */ | 
 |  | 
 | #include <zephyr/drivers/usb/usb_bc12.h> | 
 | #include <zephyr/syscall_handler.h> | 
 |  | 
 | static inline int z_vrfy_bc12_set_role(const struct device *dev, enum bc12_role role) | 
 | { | 
 | 	Z_OOPS(Z_SYSCALL_DRIVER_BC12(dev, set_role)); | 
 |  | 
 | 	return z_impl_bc12_set_role(dev, role); | 
 | } | 
 |  | 
 | static inline int z_vrfy_bc12_set_result_cb(const struct device *dev, bc12_callback_t cb, | 
 | 					    void *user_data) | 
 | { | 
 | 	Z_OOPS(Z_SYSCALL_DRIVER_BC12(dev, set_result_cb)); | 
 | 	Z_OOPS(Z_SYSCALL_VERIFY_MSG(cb == NULL, "callbacks may not be set from user mode")); | 
 |  | 
 | 	return z_impl_bc12_set_result_cb(dev, cb, user_data); | 
 | } |