|  | /* | 
|  | * Copyright (c) 2023 Google LLC | 
|  | * | 
|  | * SPDX-License-Identifier: Apache-2.0 | 
|  | */ | 
|  |  | 
|  | #include <zephyr/drivers/usb/usb_bc12.h> | 
|  | #include <zephyr/internal/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); | 
|  | } |